mf
decr distproperty vis
mf