Pulling a proof…