A foundation is sufficient if it decides all practically significant infinitary questions, even if i...