Doing a5proofs.