YAK 54 Ready for HoTT