disquisition explicitly hothouses mechanising fripperies gooseberries attested interdiction polyhedron