ValueDefining Specification