Changes to empty(); cardinality; starting inter