Bu form tarafından bir anlamlar kural bir örnek olarak tanıdık bir koddan kullandığımızı çıkarsama (yanında, kesinti ve indüksiyon) başvurun ve bu kuralı uygulayarak bir ifade ettiği sonucuna Peirce tarafından kullanılan bir terimdir.