Algorithmus für den \checkproof-Befehl:

// data:

input: proof;
wait_message = array[1..5] of string
             = { "Öhm, dö-dömm ...",
                 "Die Zeit geht zuende!",
                 "Ach, ist das wieder alles schwierig!",
                 "Das ist viel zu schwierig für mich.",
                 "Jetzt muß ich mal sehen, daß ich das zustande kriege..." };
number = integer;
 

// code:

mail proof to faltings@mpim-bonn.mpg.de

while (no answer yet) do

wait 10 seconds;
number = random(5);
write (wait_message[number]);
done;

write result;

// end