Oooh look at my cool teaser oooh

nice, I like how you introduce clarifications, similar to mathematical notation

thanks :) It's very datalog-shaped, which is fun