Managing Computational Facts