The software does not properly determine which state it is in,
					causing it to assume it is in state X when in fact it is in state Y, causing it
					to perform incorrect operations in a security-relevant
					manner.