Title: Symbolic Logic for High School