an expression with a TickBox round it is not in HNF.