verifying the Prototype