Slight retool to focus on deriving the representation relation.