Il problema degli ingegneri e' che essi tendono ad imbrogliare per ottenere risultati. Il problema dei matematici e' che essi tendono a lavorare su problemi giocattolo per ottenere risultati. Il problema dei verificatori di programmi e' che essi tendono ad imbrogliare su problemi giocattolo per ottenere risultati.