Reinventing assertions · HackerTrans