Ovaj termin koristi Pirs da prikaže formu zaključka ( zajedno sa dedukcijom i indukcijom) po čemu označivača tretiramo kao primer pravila iz već poznatog koda, i zatim,primenjujući to pravilo, zaključujemo šta označava .