Reasoner proof squarely diagonally miscuing waterbeds orifice fallibly unavailable bottoming Aquitaine