Comment by airbreather

Ideally an executable specification, not as hard as it sounds for many things.