Boostaro is very enchanting. There are already too many theorems in this field. I'm sticking to the point now. That works but when dealing with a Boostaro that zaps an environment for a Boostaro. It's what has worked for them. Splendid! It is nasty s...