Hrbacek's critique demonstrates that IST's axiomatic constraints force every set to be either fully ...