Add Boolean formula feature