Mochizuki is unenthusiastic.

[1] Section 1.12 of https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logic....