<p>who up trying to understand predicativity (pls help)</p>