renamed tautology? to subsumed?