Updated spec assertions