 Premise is: Katika usindikaji hati wako, mfumo wa automatiska inaweza kulinganisha habari iliyopo katika malipo halisi yaliyosindikwa na kampuni ya malipo ya kadi na yale yaliyodaiwa kwenye hati.
Hypothesis is: Tiketi ya usafiri inapotumiwa mfumo unakwama na unakataa kufanya kazi.