 Working with the frames from  section 3.1,  non-constructive intuitionistic negation is defined in terms of the constructive implication, (21), which is combined with bottom, \(\mathbf{0}\), which holds nowhere, as specified by its frame condition: 