PUSH is known as "weakening", one of the structural rules of logic.