Version spaces almost implemented, still has bugs.