Provide methods for spec abstraction.