[[!redirects Pieter Hofstra]] [[!redirects P. Hofstra]] < [[nlab:Pieter Hofstra]] category: redirected to nlab