simplify facts
tests