Abstractions And Independence