Personally I find this a little hard to follow. It would be nice if you had clear formal statements of the definitions and theorems.
Personally I find this a little hard to follow. It would be nice if you had clear formal statements of the definitions and theorems.