On the Consistency Strength of MM(ω_1) - Natasha Dobrinen; John Krueger; Pedro Marun; Miguel Angel Mota; Jindrich Zapletal (2023)