Beata 4: Abstraction Maturation