Proof receipt

Loading observed facts.