Observing Concurrency via Proved Trees