Slava Pestov Jan 31
Can you elaborate on the auto-synthesizing variables bit?