Logic for Homeschoolers: What Even Is Logic?