Modal logic captures the concepts of "necessity" and "possibility" nicely[1]. You could express it as "~□(shiny + new -> good app store)" which translates into

Modal logic captures the concepts of "necessity" and "possibility" nicely[1]. You could express it as "~□(shiny + new -> good app store)" which translates into "it is not necessary that shiny and new implies a good app store". [1]https://en.wikipedia.org/wiki/Modal_logic https://en.wikipedia.org/wiki/Modal_logic