finished implications, improvement, and reflection
typo