TVarxx1t2 TAbsxt12t112t21 TAppt1t22 TTruetrueBool2 inthecontextInotherwordswegettwofunctionsthatworktogetheraninferencefunctionasbeforeandachec ID: 319449