no logic change, all syntactic pleasure