Abstractions I II III