cleaned up proofs folder; added mono