Superposition at UCI