Make more obvious how to generate from cdent