I'm excited to stop writing code and start writing machine-readable specifications of