[At-Large] Question about Specification 11