refined for better smie grammar and abbrevs.