Regole, non equivoche invarianti, e altre proposte ed esigenze