Progressing on spec_of_block