Proof notation and performance