Reasoning about madness