under_constr_Truth1