Typo in the name, should be ”generated”. I don’t think you need the ideal assumption here (I use it on my end because it fits with my system).