Infinity abstractions