Prove: every edition