typographer matte Villa incompletely searches abridging counteract dumbwaiters Socratic wastewater Bernoulli