Formulas the student can assume (separated by commas):

Formula the student must prove:

Default proof (optional):