Just tested that it checks if m is a negation of n, not shadowing the previous m. Thanks for the replies.
m
n
Bongjun Jang has marked this topic as resolved.
Last updated: Jul 29 2026 at 05:03 UTC