The ratio of cups of orange juice concentrate to water in a punch recipe is 1 : 4. If Gordon used 32 cups of water, how many cups of orange juice concentrate did he use?