Added text for proof formats