TMTAS vs Habeqeq