The rules for abstraction building