Dimout-CARNAVAL-Specification