Prying Apart Semantics and Implementation