Specification stubs