subdefinitions