proofmaker updated
tasks 1-3 formatted well
minor changes
4 prover added + little test