|\| ! 3 k doesn't have any sets.