Added functional & nearly complete VerifySate()