added
(1) inequality decomposition for BS/JU
(2) Possible Presentation