On page 4 after the list of goals, it seems that the following sentence ("We agreed to base it on an existing language,
namely OL.") should be preceeded by a line break (it now starts on the same line as the sixth goal).