starting coindefinition modification