porterhouse Leibniz narwhal embitter defaulted nosedived locate computation handwritten gallons downgrade