Wrt_not 💯 Bonus Inside

Some systems track the polarity (positive or negative occurrence) of subformulas. wrt_not can mark a function that computes something with respect to the sign (negated or not) of a formula.

As I stepped off the boat and onto the sandy shores of Wrt_Not Island, I felt a strange sensation wash over me. The air was thick with an unspoken understanding – a collective agreement to not discuss, to not think about, and to not acknowledge the things that truly mattered.