Having a generative procedure doesn't eliminate enumeration in practice; checking legality still req...
This proposition has not been edited since the history system was added.