Liebe Amy, wenn Du das nächste Mal unter ungewissen Aussichten ein Ticket für t > 18 ⅾ in die Ferne buchst, beachte Folgendes ZWINGEND: IF    ticket hin = t AND ticket zurueck = t + x AND x > 18 THEN buy ticket(u) IF ticket(u) = 1/2u + 1/2 u AND ticket(u) = true for t(ticket zurueck) if [...]