Errors corrected, OL well definedness proved.