[gaudi.def]