my_specification