Comment Comment by taralx PUSH is known as "weakening", one of the structural rules of logic. parent taralx 8 years ago
