[[!redirects Andrew M. Pitts]] < [[nlab:Andrew Pitts]] category: redirected to nlab