syntactic sugar equivalence and mutual recursion 3723427