2 examples in spec