Consider a world with n symbols, no constructors, and a single binary predicate. How many distinct facts can be written in this language?