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.