what's the distinction between `shows` and `obtains` in Isabelle Isar?

Question

I am trying to understand the difference between the shows and obtains commands in Isar (as of Isabelle 2020). The documentation in isar-ref.pdf<