for a, b being Real st a <= b holds
vol ['a,b'] = b - a