[[!redirects realizability]] < [[nlab:realizability]] category: redirected to nlab