-

More set theory wanking.
I think I understand strict occurrences better now.