Courtesy of sustained R&D, Motalen® now enables anyone anywhere on Earth to learn formal logic, and/or rigorous computer programming, in the Logic: A Modern Approach (LAMA®) paradigm, which includes placing fun competition front and center, as users engineer proofs and arguments, and construct programs, by using HyperGrader® and HyperSlate®, online AI software systems tailor-made for such activity, and available here. The hallmarks of the LAMA® paradigm, and hence specificall