I believe both that we are fancy autocomplete and fancy autocomplete is a form of reasoning.