corrections on difficulty and some initial definitions