test for invalid fact