Thinking/reasoning of both humans and machines could be arranged along the formality gradient of semantics. This picture is adapted from Anatoly Levenchuk’s book Education for Educated (in Russian): Amazon’s six-pagers are tasked, among other things, to make decision-making more formal. Making decisions after an oral discussion is not completely intuitive (human language itself already has some structure and, therefore, is not completely intuitive), but is closer to the intuitive end of the spectrum than making decisions by wetting a written document (six-pager, RFC, ADR, etc.). In the post “