Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)