Tautology has
moved
!