Star Trek Lower Decks A Mathematically Perfect Redemption