Bottom can be promoted, can be changed at a given program point up to some Constant and, and, and another update could raise that Constant to Top but of course, once we get the Top, there's no greater element. 