some rephrasing in implementation view