Alle nicht leeren Methoden müssen welche der folgenden Eigenschaften haben?