ice abstraction