impredicative

1. REDIRECT Impredicativity

{{Rcatsh|

{{R from move}}

{{R rw}}

}}