Vorbedingung implementiert