Graphite Projects UNSW F23 Proofs