Tets with main