Re: extensional realizability refutes Scotts axiom