 By far the most popular objection to factualist truthmaker maximalism, an objection made by both friends and enemies of facts, is that it is ontologically baroque, that is to say, incredible. The idea that there are negative or conditional facts, the objection goes, is incompatible with the demands of metaphysical economy or with the requirements of naturalism. By far the most popular factualist alternative to factualist truthmaker maximalism is the view that all logically atomic truths have truthmakers and that these are formally simple or atomic facts or the view that the only truthmakers which are facts are formally simple. Versions of these views are defended by the logical atomists (see the entry on the  correspondence theory of truth  and  section 2.4.2  below).