Update specification_core.txt