Proof

Stub for Gate 8.