Talk:Oberon/Prime/@comment-165.24.110.143-20181207215825/@comment-72.239.221.135-20190222235441

What does "vaulting" mean?