Inter-universal Teichmuller Theory III
--------------------------------------
ESlightly modified the phrasing surrounding the phrase "pull-backs, via the given log-link"
@in Proposition 3.4, (ii)