--finishing description, edited model for readability some more. #socomment.wOw.
more description, added assert about children of cycles, it gives a counterexample but not sure why