Це термін використовується для позначення форми умовивід (поряд з вирахування і індукції), за допомогою якого ми ставимося до це означає як зразок правило з знайомі коду а потім зробити висновок, що це означає на застосування цього правила Пірс.