PT Unknown AU Schneider, O TI Reaching constant evaluation singularities PY 2018 LA english ER