unification of the SynLikAllInTrue TrueInAll