How do we arrive at a consistent set? (was: [arch-haskell] Thoughts on Procedure)