A system of reasoning *