I had the idea of working with math objects but applying all possible facts about such objects and collect those together. A kind of web of math. One could interactively choose what is possible. Each property makes for an object. A mathematical object made of a couple of syntactical facts, where each fact is a property. Such objects together make for a kind of indirect practice. Like psychology plus philosophy and reading/researching there. Perhaps the ability to expand upon certain traits of objects.