Only Full Version Available : Gartenzwerg's problems with rightfinder