Add a sketchy spec for the 'include' method