some tex and ocl