abstract descriptions added. TODO: BinJSM