[[!redirects Andrej Bauer]] < [[nlab:Andrej Bauer]] category: redirected to nlab