H

hybrid logic