Oh, and I think we follow the FEniCS convention of calling the spaces CG1 and DG1.