Simplify facts