slight revisions to shared-abstractions