add description to logic.mod