math teory about CTBNC inference completed, fixes #60