req1, statediagrams updated