Note about definition ordering