@ada btw just to comment that impl follows the algo spec to the note meaning it fails testswhich is *fun*