qqp question1: I want to practice building my logic in a more interesting way or where I focus exclusively on logic instead of languages and syntax? question2: How could I practice building my logic in a more interesting way or where I focus exclusively on logic instead of languages and syntax?