[two_handfuls]

Maintenance as in, when you change the program you have to update the proof. This is easier if you can keep them modular.