added highlights to premises, clarity proofreading