[[!redirects proposition]] < [[nlab:mere proposition]] category: redirected to nlab