TLA⁺ is gaining attention for its potential applications beyond safety-critical systems, particularly in cloud development. However, many software engineers lack exposure to modern formal methods like TLA⁺ due to a historical focus on specific sectors. Educational institutions have not been including these methodologies in their curricula, despite TLA⁺'s proven success in recent years. A shift toward better divulgation and education around TLA⁺ could improve software reliability and facilitate broader adoption in various industries.