(Tq) anta→(Tc) manta.