Is there any effect on our thinking that comes from HoTT? I heard this is exactly the kind of problems it tries to solve.