[Emi]

Gute Solves sind gute Solves. Ganz einfach. Was kann man da nicht verstehen?
Er wird ja wohl nicht festlegen können, was gut ist, also schick das, wovon du glaubst, dass es gute Solves sind.

Klar kann er das festlegen. Ein einfaches Beispiel.
"Solve x ist gut." := t(x) < 20s
Und gute-Solves-sind-gute-Solves-ganz-einfach ist Idem per Idem, geht also nicht. Beispel:
"Solve x ist gut." := "Solve x ist gut."
Hier sieht man deutlich den Fehler.