fixing typo and testing indexed and cardinality using predicate
functions
few more steps in the example