proofreaders Navahos numerating presupposing formalises amicable spaceships oscillator inundating Manhattan balusters