This line hasn't to be there you have to either delete it or put it before the "implies" with a comma at the end of each line before the "implies" field.