Wrt_not _verified_ -

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.

Here, wrt_not indicates that the rule explicitly concerns the negation connective. wrt_not

elim_double_neg_wrt_not: ¬¬P → P