spec included in example