rename implicit value of context