Fact with arity 0, with test