"how about we get back to proving"