Author: Gödel '96 (1996 Brno, Czech Republic)