Με τη λογική πρώτου τύπου
καταλαβαίνεις
τη δύναμη που έχει
το αντιπαράδειγμα
και πόσες απαιτήσεις
υπάρχουν για την ορθότητα
μιας θεωρίας
που πρέπει
να είναι
άψογη
σε κάθε σημείο της.