Theun is also upbeat - this should be interesting and useful.

He nods to Bella and starts checking the other side of the room.

"Morning! This one sounds fun."

"Morning! Yeah, I'm looking forward to it. Interesting, plus I think getting good information handling in spells is theory-heavy."

"It counts as a math class, which makes three math classes for me, but I'm not even mad."

"My artifices mostly won't even use math, and I still have two... Not annoyed about this one, though."

Franklin is in four different math classes and that's awesome. Mathematical Models for Artificing is going to be hard to be better than, but this class might succeed. Also he has terrarium sketches for Bella. He sits next to her and then has a long moment of indecision about whether it would be politer to offer to show her the terrarium sketches now or wait until lunch. Maybe he can just say hello and see how okay she seems with being interrupted. "Hello."

"Oh, hi Franklin! How's it going?"

"I have sketches! Would you like to see them?"

"I would like that! Though maybe at lunch? I think this is gonna be a good class."

"Can do! I also expect this class to be good. I hope it has artificing implications, but even if it doesn't I will have use for it."

"I was just saying, I expect implications for things with information-handling, probably that goes in any specialty. You're Boston, right? I don't think I heard your name, mine's Theun."

"Franklin. Sorry for interrupting. And yes, that sounds very plausible."

"Eh, no worries, barely an interruption. Nice to meet you."

"Likewise. Are you an artificer?"

"Not... really. I have an affinity for books but I'm aiming more toward creative writing and searching the library."

"Oooh, I'm not surprised you want to learn about information handling."

"Yeah! I almost got bumped out of this class in homeroom and that would have been the worst. But I got added to this section in the second schedule, so it's all good."

"I wonder how many sections there are."

"Two, twelve, fifty, who knows? I didn't hear of it in the big list of classes that exist, but that doesn't mean much."

"It's probably not fifty. There are only so many blocks in the week. I guess if it were staggeringly common multiple sections could meet simultaneously in different rooms... Oooh." Her book has appeared by her elbow.

"Yeah, realistically a dozen is probably the top end for... everything but Language Lab, actually."

Does he have a book now? He does! What are the contents of this book?

1. Basics of Propositional Logic
2. Truth Tables
3. Basics of Predicate Logic
4. Rules of Inference
5. Proof Structure
6. Spell Logic
7. Spell Illogic - Cautions and Warnings
8. Case Studies
i. Appendix - Computational Logic
ii. Appendix - Formal Semantics in Natural Language
iii. Appendix - Modal Logic
iv. Further Reading
v. Index

Well, nothing starts with the good stuff, let's see what 'Propositional Logic' is.

"So, we're... defining a vague generalization and stripping the statements out of the statements, to look at fuzzy generalities... I guess that's how math usually works. And the fuzziness usually has a point to it. Eventually."

All of chapter one appears to be stuff that humans know just from existing in a world, or possibly evolved to be born knowing, but it's nice to see it formalized. He can probably finish the homework during class unless there are quite a lot of odd-numbered problems. Also he should check what subset of the answers are in the back of the book.

There are a lot of odd numbered problems and the back of the book only has some even numbered ones and not all of those.

Bella skims the problems first, then alternates between reading and doing problems once she has read enough to solve each one.