3 ms·PUSH is known as "weakening", one of the structural rules of logic.by taralx 8y agoPUSH is known as "weakening", one of the structural rules of logic.