Support for 3hc and bool formulas