See discussion here: https://github.com/caleb531/automata/pull/218#issuecomment-2113740216