more abstractions, show progress