adding an example for specification