Η κομπίνα με το λογισμικό που «κατάπινε» αποδείξεις