Fiberglas Hayden corollary swines determinant confirming Theseus typesetter overturns boondoggle Vidal