http://jbmm.cajl.info/2016/10/information-concernant-logic-instrument_JBMM