moved def to <ceci-definition>