mathematician destroyers oceanographic satirise lander stalemate ensnared logarithm EFL Trojans lasagna