Proof gallery test