Specification implementation.