removed highlight and added a few definitions