[[!redirects de Morgan's law]] < [[nlab:de Morgan's law]] category: redirected to nlab