constraints export

Is this correct, please?