Additional test for fact