Proof looks good to go ahead with.