Hacker News new | ask | show | jobs
by taralx 2877 days ago
PUSH is known as "weakening", one of the structural rules of logic.