In fact, I'm moving the check out of `getProxyDefinition`