a little proof writing