Finished everything, now proof-reeeeed