Complete state diagram