Ice abstractions 1

Ice abstractions 1