What's the difference between process discovery, design and mining?

“Discovery finds out what a process actually is today. Design decides what it should be. Mining measures what really happens, from the event logs your systems already generate, rather than from what the procedure says should happen.”