Seol mar théacs é seo: Verification Across Intellectual Property Boundaries.