Tikkit, kigut guutipallat tamaat eqqissisimallit.
P imaluunniq, q
Q tasersiveerneq p
Naami, kingornaat taakkunanik "Imaap p, q" "q imaap p"-miittarneq anngalleqarluni. 
"If p then q" taamaaliunnaq "p imaap q"-miittarpai, taannap erinarsorneq p-luunniit, q erinarsorneq. Kingornaat "q imaap p" taama, q erinarsorneq, p erinarsorneq. Taakkumaat kingornaat anngalleqarluni, taamaatiinnarluni.