An argument for computing science as a formal mathematical discipline, centred on effective reasoning, simplicity and elegance.