completed state diagram