simple_specification
