Submission for Ex1.agda - David Black