examples and some initial spec