[[!redirects excluded middle]] < [[nlab:excluded middle]] category: redirected to nlab