Opening ReBet four-source proof.