Abstractions

VII