The Strong, Weak and Benign Goodhart's law. An independence-free and paradigm-agnostic formalisation