https://blog.jans.com/rock-climbing-terms-lead-climbing-tips-for-beginners/