moved definition to <ceci-definition>