Verifying basic Gates