for a, b, c being Int-Location st a <> b & a <> c holds
not Divide (b,c) destroys a