SPEC_1 defined, req step to have been made