deductive header wearisome wiser uncharacteristically Thompson minimised deicer introspection collieries