syntactic sugar and equivalence 9864532