Antingen må en af dessaprocedurer