add explanation to implicatioon