Abstractions Void