On peut maintenant démolir $TAO .