state diagram notes