Complaining about it is part of the system operating the way it operates. It’s factored in already. I just think that it’s not really interesting. It’s reasoning about the instance, not the class.