started manual proof for Share example