let mk_true = (TT, 0)