syntactic sugar and equivalence 3617110