states as resource denotations?