Exactly, he is now interested in real algebra, lik...

# random

[orangy]

Exactly, he is now interested in real algebra, like sets and operations. Combined with some logic and predicates, he makes real progress. But not quite there for infinite sets 🙂