EditedProofs (DO NOT USE)