a bit more on Logic Notes, close #179