Options for incorporating new facts