Abstraction Ladder - Exploring chains of effects