Short Specification