basic_notion
