One of the issues of working with abstractions is that what you think may be logically true, isn’t.