Für nicht-triviale Eigenschaften erfordert ein ǫ-Test eine Anzahl von Abfragen, die umgekehrt proportional zu ǫ ist.
