Or "let's find a formal proof for that". I know I've used this phrase ;)