One proof. Probably enough.