WYCS: playing around with the verifier a little.