"Simple version: we can synthesize"