Premise: The José Celestino Mutis botanical garden is Colombia's biggest botanical garden. It serves both as a recreation and research center with an emphasis on Andean and Páramo ecosystems. The garden is located in Bogotá and features plants from every Colombian altitude, climate and region. It was founded in 1955, in honor of botanist and astronomer Jose Celestino Mutis.
Hypothesis: The José Celestino Mutis botanical garden has a lake