Category:Hilbert Proof System Instance 2