instances are infinite sets (see #3031)