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