Hard and soft logical information. (6th April 2017)