Version spaces, work in progress.