Deref also brings list of restrictions for each sub-expression