Software, systems, and the occasional proof.