Adding a proof class.