New post in Supremum-and-infimum