@datum It's one of those "if you look into it too deeply, you'll find another layer of complexity" things. For a view of how this works in practice, I'd recommend this blogpost from Derek Lowe, always worth a read: https://www.science.org/content/blog-post/stalking-polymorphs