first stab at an implementation of the double description method