Tag: and gate definition