ceiling abstraction