 A recent proposal of Andrzej Kisielewicz (1998) is that the paradoxes of set theory might be evaded by having two different membership relations \(\in\) and \(\varepsilon\), with each membership relation used to define extensions for the other.