If it lets me avoid a circular definition, I’m willing to tolerate a bit of ugliness in my definitions (at least, provided that it can be shown to be equivalent

If it lets me avoid a circular definition, I’m willing to tolerate a bit of ugliness in my definitions (at least, provided that it can be shown to be equivalent (under assumptions of some results that can also be proven under the awkward form) to a nicer framing).