Sea lions and equivalence: expanding classes by exclusion

Sea lions and equivalence: expanding classes by exclusion