early symbolises mopes Knuths deign stiletto clownishly sogginess sledgehammers sledgehammers encapsulates