Yes, and it's exactly those "smart definitions" that are the Standard Model. The whole goal is to produce even smarter definitions, including showing that as much as possible of it couldn't be any other way, preferably.