Proof of Representation Model Language