Loading: 10 Ways to Learn with Higher Logic