No more \!subsumes method