Added cardinality methods to spy verifier. No functionality yet.