Example from specification