Reviewing implementation and adding applicative explanations