ampliative reasoning