@SergeyZolotarev It’s grammatical but for something as formal as a specification extension I prefer “the definition of” to “scheme’s definition” and using the indefinite article seems awkward in this context where there is only one definition that is being discussed. Using “a” makes it seem like we don’t know which specific scheme we’re talking about.