Added first 2 OCL constraints.