Yes, a proof allows me to not have to handle the case at all.

		epolanski 79 days ago \| parent \| context \| favorite \| on: Three ways formally verified code can go wrong in ... Yes, a proof allows me to not have to handle the case at all.