OK I think this is a typo, from the proof of prop 10 where you deal with condition 5:
Thus χFC(x,s)∈x.
I think this should be χFC(x,s)⊆x.
Fixed, Thanks.
OK I think this is a typo, from the proof of prop 10 where you deal with condition 5:
I think this should be χFC(x,s)⊆x.
Fixed, Thanks.