Introducing areas. Does not compile yet