Title: Four Abstractions