fixed chain's lazyness. inlined facts. added composition example.