under_constr_Truth2