Correct logic for selFKinds