a system of reasoning