adding state and representation triples