More spec assertions