report abstractions