Checking this proof…