a = b+c, where b~~~