specifies