seems to be neccessary to the proof this ...

... point with the 6 sheep