... out (I,F, and U mean inviting, functional, unobtrusive)< ... I & F → U
Contrapositive: Not U → not I or not ... that (I & F → U)
In other words, ... I, F, and **NOT U**. The other details are ... focuses on one aspect of the conditions that must ...