https://tutorialtactic.com/blog/proofhub-shortcuts/