‘Deductive AI’