dissection discrete case
%-->