Specification pattern sample.