Octane Proofs - i4detail