open_spec_correct
