| T | doesn't have any sets.