Back to Proof to Product