Small bug fix: AtLeastX[A] shouldn't be subset of A; instead, they should share a nonempty subset.
Small bug fix: AtLeastX[A] shouldn't be subset of A; instead, they should share a nonempty subset.


Former-commit-id: 0ee5101e47939fd129b04cadfc76e17da8c6af40
tomtung/tifmo