"example assumes" or "examples assume"