[logic-ml] 2013LLS