EDIT: Prove Fact rewritten and refined.

Knowledge-base is now named user-terms.