refactor: propagate-not #96

Closed eyuuab closed 1 month ago