King - avoiding misinterpretation by using Specification instead of Spec