Δοκιμαστική λειτουργία: όλα δουλεύουν εκτός από την έκδοση αποδείξεων.