≟ meint: zwei Dinge könnten gleich sein, aber es ist noch nicht überprüft