Re: Osius' set theory