Abstractions Explained