doing the frame axiom for share too