feat: added reductio field and summaries

frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm

@@ -6,7 +6,8 @@ argumentApoBCVD : Argument
 argumentApoBCVD =
     { argumentTitle = "Argument for Atherogenic ApoB"
     , propositionTitle = "ApoB-containing lipoproteins dose-dependently cause atherosclerosis."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "ApoB-containing lipoproteins consistently and proportionately associate with increased plaque volume after controlling for relevant confounders, which satisfies the conditions outlined for an exposure to cause atherosclerosis."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qw)|=(Pw)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm

@@ -7,7 +7,8 @@ argumentAnabolicKeto : Argument
 argumentAnabolicKeto =
     { argumentTitle = "Anabolic Opportunity Cost on Keto"
     , propositionTitle = "Ketogenic diets are likely to cost anabolic potential compared to non-ketogenic diets."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "A higher proportion of amino acids are spent on gluconeogenesis while on ketogenic diets, reducing the amount available for hypertrophy. This likely costs anabolic potential on ketogenic diets compared to non-ketogenic diets."
     , proofLink = "https://www.umsu.de/trees/#(P~5Q),(P),(Q~5R)|=(R)"
     , definitionTable =
         [ { definiendum = "P"

frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm

@@ -7,7 +7,8 @@ argumentAntagonisticPleiotropy : Argument
 argumentAntagonisticPleiotropy =
     { argumentTitle = "Argument Against Ancestral Diets"
     , propositionTitle = "Ancestral diets have inherent disadvantages over novel diets"
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "Humans have more genetic adaptations to ancestral foods than novel foods, which makes the long-term negative consequences of antagonistic pleiotropy a greater concern for ancestral foods."
     , proofLink = "https://www.umsu.de/trees/#(P~5Q),(Q~5R),(P)|=(R)"
     , definitionTable =
         [ { definiendum = "P"

frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm

@@ -7,7 +7,8 @@ argumentCarbsObesity : Argument
 argumentCarbsObesity =
     { argumentTitle = "Argument Against the Obesogenic Carbohydrates"
     , propositionTitle = "Carbohydrates do not uniquely cause fat accumulation or obesity."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "There are a number of predictions made from the hypothesis that carbohydrates uniquely cause obesity. One of those predictions is that obesity would track with carbohydrate intake, but it doesn't"
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)"
     , definitionTable =
         [ { definiendum = "P"

frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm

@@ -7,7 +7,8 @@ argumentDietaryCholesterol : Argument
 argumentDietaryCholesterol =
     { argumentTitle = "Argument for Atherogenic Dietary Cholesterol"
     , propositionTitle = "Consuming high amounts of dietary cholesterol increases heart disease risk."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "LDL causally associates with heart disease in a linear and proportional manner, and in all cases exposures that durably increase LDL over time produce likewise increases in heart disease risk. Dietary cholesterol is one such exposure."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pd)|=(Qd)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm

@@ -5,9 +5,10 @@ import Debate.Types exposing (..)
 
 argumentFructoseNAFLD : Argument
 argumentFructoseNAFLD =
-    { argumentTitle = "Argument Against Lipgenic Fructose"
+    { argumentTitle = "Argument Against Lipogenic Fructose"
     , propositionTitle = "Fructose doesn't seem to uniquely cause fatty liver disease."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "Experimental investigations into fructose overfeeding have consistently failed to produce a fatty liver phenotype in humans. This suggests that fructose, contrary to popular belief in some domains, does not uniquely cause fatty liver disease."
     , proofLink  = "https://www.umsu.de/trees/#(P~5~3Q),(P)|=(~3Q)"
     , definitionTable =
         [ { definiendum = "P"

frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm

@@ -6,6 +6,7 @@ argumentHealthPromotingFoods : Argument
 argumentHealthPromotingFoods =
     { argumentTitle = "Argument for Food's Inherent Health Value"
     , propositionTitle = "All foods are definitionally health-promoting."
+    , propositionReductio = ""
     , propositionSummary = "Given that food is, by its very definition, material that provides essential nutrients and energy to sustain bodily functions and growth, it follows that anything classified as food must be inherently health-promoting by its very nature."
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm

@@ -7,7 +7,8 @@ argumentHealthSeeker : Argument
 argumentHealthSeeker =
      { argumentTitle = "Ancestral Health Consistency Checker"
     , propositionTitle = "If someone (who favours consuming ancestral foods to the exclusion of novel foods because they value reducing disease risk) is not in favour of consuming a novel food (that reduces disease risk when replacing an ancestral food), then that person would be acting against their values."
-    , propositionSummary = "Essentially, if our interlocutor identifies as \"F\", then all we need to do is demonstrate to them that \"N\" exists, and we're essentially home free. If they accept that \"N\" exists and they also identify as \"F\", then they should be in favour of substituting such a novel food for such an ancestral food. If they don't then they have a contradiction."
+    , propositionReductio = ""
+    , propositionSummary = "If someone values consuming ancestral foods over novel foods because they have the overall value of reducing disease risk, but a novel food reduces disease risk when replacing an ancestral food, they would be acting against their values by rejecting the novel food."
     , proofLink = "https://www.umsu.de/trees/#(~7x(Px)~1~7y(Qy)~5~6x~6y(~3Rxy~5Sx)),(~7x(Px)),(~7y(Qy))|=(~6x~6y(~3Rxy~5Sx))"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm

@@ -7,8 +7,9 @@ argumentHealthyChocolate : Argument
 argumentHealthyChocolate =
     { argumentTitle = "Argument Against Atherogenic Chocolate"
     , propositionTitle = "Chocolate does not cause atherosclerosis."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
-    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qc)|=(~3Pc)"
+    , propositionSummary = "Despite chocolate containing high amounts of saturated fat, populations that consume more chocolate do not exhibit higher rates of atherosclerosis, suggesting that chocolate does not have the same effect on heart disease risk as most other saturated fat sources."
+    , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qc)|=(~3Pc)"
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) causes atherosclerosis"
@@ -16,6 +17,9 @@ argumentHealthyChocolate =
         , { definiendum = "Q(x)"
           , definiens = "populations consuming more (x) have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
           }
+        , { definiendum = "x"
+          , definiens = "a high saturated fat food"
+          }
         , { definiendum = "c"
           , definiens = "chocolate"
           }

frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm

@@ -6,7 +6,8 @@ argumentHealthyDairy : Argument
 argumentHealthyDairy =
     { argumentTitle = "Argument for Healthy Dairy Products"
     , propositionTitle = "Non-churned, non-homogenized dairy do not cause atherosclerosis."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "The diet-heart hypothesis would predict that populations consuming more dairy foods should have higher rates of the disease. However, even when you account for factors that could plausibly influence the results, non-churned, non-homogenized dairy have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease and colorectal cancer."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qh)|=(~3Ph)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm

@@ -7,7 +7,8 @@ argumentHealthyFattyFish : Argument
 argumentHealthyFattyFish =
     { argumentTitle = "Argument for Overwhelmingly Healthy Fatty Fish"
     , propositionTitle = "Fatty fish is overwhelmingly healthy."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "Even when you account for factors that could plausibly influence the results, fatty fish have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm

@@ -7,7 +7,8 @@ argumentHealthyFibre : Argument
 argumentHealthyFibre =
     { argumentTitle = "Argument for Overwhelmingly Healthy Fibre"
     , propositionTitle = "Fibre, whether whole or refined, is overwhelmingly healthy."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "Even when you account for factors that could plausibly influence the results, both refined and whole fibre have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease."
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qb)|=(Pb)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm

@@ -7,7 +7,8 @@ argumentHealthyFood : Argument
 argumentHealthyFood =
     { argumentTitle = "Argument For Healthy Food Substitution"
     , propositionTitle = "Pepsi is healthy compared to leafy greens when trapped on a desert island."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "A food is considered healthier than another in a specific context if it increases the time before illness or disease sets in when replacing the other food. On a desert island, since Pepsi can extend the time before starvation compared to leafy greens, it is considered healthier than leafy greens in that context."
     , proofLink  = "https://www.umsu.de/trees/#(~6x~6y~6z~6w(Pxyw~4Qxyzw)),(Qpdsl)%7C=(Ppdl)"
     , definitionTable =
         [ { definiendum = "P(x,y,w)"

frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm

@@ -7,7 +7,8 @@ argumentHealthyPlantFoods : Argument
 argumentHealthyPlantFoods =
     { argumentTitle = "Argument for Overwhelmingly Healthy Plant Foods"
     , propositionTitle = "Whole plant foods are overwhelmingly healthy."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "Since whole plant foods consistently consistently associate with reduced risk of illness and death, it is reasonable to conclude that whole plant foods are overwhelmingly healthy."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm

@@ -7,7 +7,8 @@ argumentHealthySeedOils : Argument
 argumentHealthySeedOils =
     { argumentTitle = "Argument for Overwhelmingly Healthy Seed Oils"
     , propositionTitle = "Non-hydrogenated vegetable oils are overwhelmingly healthy."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "Even when you account for factors that could plausibly influence the results, non-hydrogenated vegetable oils have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pv)|=(Qv)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm

@@ -7,7 +7,8 @@ argumentHealthySoy : Argument
 argumentHealthySoy =
     { argumentTitle = "Argument for Soy Products"
     , propositionTitle = "Soy products are overwhelmingly healthy."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "Even when you account for factors that could plausibly influence the results, non-hydrogenated soy products have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm

@@ -7,7 +7,8 @@ argumentMalondialdehyde : Argument
 argumentMalondialdehyde =
     { argumentTitle = "Atherogenic Omega-3 Reductio"
     , propositionTitle = "Omega-3s are atherogenic."
-    , propositionSummary = "Summary"
+    , propositionReductio = ""
+    , propositionSummary = "If one takes the view that in order for a substance to increase the risk of atherosclerosis, it must facilitate the oxidative modification of LDL particles via malondialdehyde production, and one also affirms that omega-3s are anti-atherogenic, then this would imply that all fatty acids that produce malondialdehyde, including omega-3s, must also be atherogenic, which contradicts the their belief that omega-3s are heart-healthy."
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm),(Pm~5~6x(Rx))%7C=(Ro)"
     , definitionTable =
         [ { definiendum = "P(x)"

frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm

@@ -6,6 +6,7 @@ argumentOmega3Omega6Ratio : Argument
 argumentOmega3Omega6Ratio =
     { argumentTitle = "Argument Against the Omega-6/Omega-3 Ratio"
     , propositionTitle = "The omega-6/omega-3 ratio is unlikely to matter for health."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm

@@ -7,6 +7,7 @@ argumentOptimalDiet : Argument
 argumentOptimalDiet =
     { argumentTitle = "Argument for the Artificial Manipulation of Food"
     , propositionTitle = "The optimal human diet is likely heavily artificial."
+    , propositionReductio = ""
     , propositionSummary = "Optimal diets will be a technological breakthrough, meaning that the diets that are best for humans just haven't been invented yet."
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm

@@ -7,6 +7,7 @@ argumentPlantBasedCVDReversal : Argument
 argumentPlantBasedCVDReversal =
     { argumentTitle = "Argument Against Plant-Based Diets Reversing Heart Disease"
     , propositionTitle = "Plant-based diets do not appear to clinically reverse atherosclerosis."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(P~1~3Q~5~3R),(P),(~3Q)|=(~3R)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm

@@ -7,6 +7,7 @@ argumentPolyphenolReductio : Argument
 argumentPolyphenolReductio =
     { argumentTitle = "Anti-Polyphenol Reductio"
     , propositionTitle = "Anti-polyphenol, ancestral diet advocates are committed to favouring GMOs."
+    , propositionReductio = "asdasd"
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~1Qxy~5Rxy)),(Pp),(Qpg),(Rpg~5Spg),(Spg~5Wp)|=(Wp)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm

@@ -6,6 +6,7 @@ argumentSodiumCVD : Argument
 argumentSodiumCVD =
     { argumentTitle = "Argument for Atherogenic Sodium"
     , propositionTitle = "Higher intakes of sodium increases cardiovascular disease risk."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~1Q~5Rx)),(Ps),(Q)|=(Rs)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm

@@ -6,6 +6,7 @@ import Debate.Types exposing (..)
 argumentTMAOCausality : Argument
 argumentTMAOCausality =
     { argumentTitle = "Argument Against TMAO Being Causal in CVD"
+    , propositionReductio = ""
     , propositionTitle = "TMAO is not likely to be causative of heart disease."
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~3Qt)|=(~3Pt)"

frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm

@@ -7,6 +7,7 @@ argumentUnhealthyCoconutOil : Argument
 argumentUnhealthyCoconutOil =
     { argumentTitle = "Argument For Atherogenic Coconut Oil"
     , propositionTitle = "There is not a reason to believe that coconut oil is any better for heart health than other saturated fat sources that increase LDL-C."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Qx~5~3Rx)),(Pc),(Qc)|=(~3Rc)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm

@@ -7,6 +7,7 @@ argumentUnhealthyProcessedMeat : Argument
 argumentUnhealthyProcessedMeat =
     { argumentTitle = "Argument for Overwhelmingly Unhealthy Processed Meat"
     , propositionTitle = "Processed meat is overwhelmingly unhealthy."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm

@@ -7,6 +7,7 @@ argumentUnhealthyRedMeat : Argument
 argumentUnhealthyRedMeat =
     { argumentTitle = "Argument for Overwhelmingly Unhealthy Red Meat"
     , propositionTitle = "Red meat and processed meat are overwhelmingly unhealthy."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm)|=(Pm)"
     , definitionTable =

frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm

@@ -7,6 +7,7 @@ argumentUnhealthySaturatedFat : Argument
 argumentUnhealthySaturatedFat =
     { argumentTitle = "Argument Against Saturated Fat"
     , propositionTitle = "Most sources of saturated fat are overwhelmingly unhealthy."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/Abortion.elm

@@ -7,6 +7,7 @@ argumentAbortion : Argument
 argumentAbortion =
     { argumentTitle = "Abortion Rights"
     , propositionTitle = "One's whims are not a sufficient justification for the termination of sentient human life."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(P~2Q~5R),(P),(Q),((R~1F~1~3H)~5M),(F),(~3H),(M~5~3W)%7C=(~3W)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm

@@ -6,7 +6,8 @@ import Debate.Types exposing (..)
 argumentAgnosticism : Argument
 argumentAgnosticism =
     { argumentTitle = "Agnosticism Consistency Checker"
-    , propositionTitle = "An interlocutor (who cannot unpack what evidence would lead them to change their doxastic attitude on a proposition) should temporarily withhold the belief that the proposition at hand is true"
+    , propositionTitle = "An interlocutor (who cannot unpack what evidence would lead them to change their doxastic attitude on a proposition) should temporarily withhold the belief that the proposition at hand is true."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x~6y(~3Pxy~5~3Qxy)),(~6x~6y(~3Qxy~5Rxy)),(~3Por)|=(Ror)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm

@@ -7,6 +7,7 @@ argumentAgriculturalPredation : Argument
 argumentAgriculturalPredation =
     { argumentTitle = "Argument for Animal Agirculture Counting as Predation"
     , propositionTitle = "Animal agriculture counts as predation."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x~6y~6z(Px~4Qxyz~1(Rxyz~2Sxyz)~1Wxyz)),(Qahl),(Rahl~2Sahl),(Wahl)%7C=(Pa)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm

@@ -7,6 +7,7 @@ argumentAnimalRights : Argument
 argumentAnimalRights =
     { argumentTitle = "Argument for Animal Rights"
     , propositionTitle = "We should not exploit animals to any greater degree than we would tolerate for humans."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(~3Pa~5~7t(Rta~5(Rth~5~3Ph))),(~3~7t(Rta~5(Rth~5~3Ph))),(Pa)|=(~3Qa)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm

@@ -7,6 +7,7 @@ argumentAntiRewilding : Argument
 argumentAntiRewilding =
     { argumentTitle = "Argument Against Rewilding"
     , propositionTitle = "Rewilding sentient animals is immoral."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5~3R),(~3R~5Sa)|=(Sa)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm

@@ -7,6 +7,7 @@ argumentAntiVandalism : Argument
 argumentAntiVandalism =
     { argumentTitle = "Argument Against Zoo Vandalism"
     , propositionTitle = "Vandalizing zoos increases the probability of harming the animals they keep."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P),(Q~5R)%7C=(R)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm

@@ -7,6 +7,7 @@ argumentColonizingNature : Argument
 argumentColonizingNature =
     { argumentTitle = "Argument for the Non-Violence Displacement of Nature"
     , propositionTitle = "We are justified in displacing nature into non-existence"
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5W),(P),(~3Q),(~3R),(~3S)%7C=(W)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm

@@ -7,6 +7,7 @@ argumentCropDeaths : Argument
 argumentCropDeaths =
     { argumentTitle = "Cropland vs Wildland Argument"
     , propositionTitle = "Proposition"
+    , propositionReductio = ""
     , propositionSummary = "We can't claim to know that cropland kills more animals than wildland, because if we did know this, there would be evidence for it, and there isn't any such evidence."
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(~3Q)%7C=(~3P)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm

@@ -6,7 +6,8 @@ import Debate.Types exposing (..)
 argumentDairyCowRape : Argument
 argumentDairyCowRape =
     { argumentTitle = "Argument for Dairy Cattle Being Raped"
-    , propositionTitle = "A bull mating with a cow qualifies as rape"
+    , propositionTitle = "A bull mating with a cow qualifies as rape."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm

@@ -6,7 +6,8 @@ import Debate.Types exposing (..)
 argumentEfilismPatrolSquad : Argument
 argumentEfilismPatrolSquad =
     { argumentTitle = "The Eternal Intergalactic Sentience Patrol Squad"
-    , propositionTitle = "Efilists are committed to pragmatic natalism"
+    , propositionTitle = "Efilists are committed to pragmatic natalism."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q),(~3P~1R~5~3S),(R),(~3S~5W)|=(W)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm

@@ -7,6 +7,7 @@ argumentEthicalSlurs : Argument
 argumentEthicalSlurs =
     { argumentTitle = "Argument for Using the Term Retard"
     , propositionTitle = "It is generally permissible to use the term retard with an altered non-bigoted meaning."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~6x(~3Px~5Rx)),(~3Pr),(~3Qr~1Rr~5Sr),(Sr~5Wr)|=(Wr)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/FineTuning.elm

@@ -7,6 +7,7 @@ argumentFineTuning : Argument
 argumentFineTuning =
     { argumentTitle = "Fine Tuning Debunk"
     , propositionTitle = "Fine tuning is an infinitely regressive explanation for God"
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pg),(Qg~5R)%7C=(R)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm

@@ -7,6 +7,7 @@ argumentImmortalityReductio : Argument
 argumentImmortalityReductio =
     { argumentTitle = "Appeal to Nature Immortality Reductio"
     , propositionTitle = "Senescence does not result in death."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Hx~5~3Rxy)),(Hs)%7C=(~3Rsd)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm

@@ -7,6 +7,7 @@ argumentOddOrderPredators : Argument
 argumentOddOrderPredators =
     { argumentTitle = "Argument for Culling Odd Order Predators"
     , propositionTitle = "It is permissible to prevent predation with lethal force to the same degree we would tolerate for humans."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5R)%7C=(R)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm

@@ -7,6 +7,7 @@ argumentOstroveganism : Argument
 argumentOstroveganism =
     { argumentTitle = "Argument for Vegan Bivalves"
     , propositionTitle = "Bivalves are not likely to be sentient."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~1Rx~1(Sx~2Wx))),(Qc~1~3Rc~1Sc~1~3Wc),(~3Pc~5~6x(~3Tx))|=(~3Tb)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm

@@ -7,6 +7,7 @@ argumentPollinationReductio : Argument
 argumentPollinationReductio =
     { argumentTitle = "Vegan Anti-Pollination Reductio"
     , propositionTitle = "Apples are not vegan"
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(Qb),(~3Pb~5~6y(~3Ry))|=(~3Ra)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm

@@ -7,6 +7,7 @@ argumentScratcherPioneers : Argument
 argumentScratcherPioneers =
     { argumentTitle = "Tattoo Pioneers were Scratchers"
     , propositionTitle = "The original trailblazers of modern tattooing were scratchers."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~2Rx~2Sx)),(Qt),(Rt),(St)%7C=(Pt)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/TransPeople.elm

@@ -7,6 +7,7 @@ argumentTransPeople : Argument
 argumentTransPeople =
     { argumentTitle = "Argument For Trans Identity"
     , propositionTitle = "A trans person of the male sex is a woman and a trans person with female sex is a man."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Rx~1Wx)),(~6x(Qx~4Sx~1Wx)),(Ra~1Wa),(Sg~1Wg)|=(Pa~1Qg)"
     , definitionTable =

frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm

@@ -7,6 +7,7 @@ argumentVeganSocietyReductio : Argument
 argumentVeganSocietyReductio =
     { argumentTitle = "Vegan Society Definition Reductio"
     , propositionTitle = "It is vegan to eat Groot."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(~6x~6y(~3Rx~5~3Q(e(y)))),(~3Rg)%7C=(P(e(g)))"
     , definitionTable =

frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm

@@ -7,6 +7,7 @@ argumentBoobyTrapPagers : Argument
 argumentBoobyTrapPagers =
     { argumentTitle = "Argument Against Israeli Pagers as Booby-Traps"
     , propositionTitle = "The Israeli pagers were not booby-traps."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4(Qx~1Rx~1Sx))),(Qp),(Rp),(~3Sp)|=(~3Pp)"
     , definitionTable =

frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm

@@ -7,6 +7,7 @@ argumentEpidemiologyCausality : Argument
 argumentEpidemiologyCausality =
     { argumentTitle = "Argument for Nutritional Epidemiology"
     , propositionTitle = "Nutritional epidemiology generally provides good causal estimates."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pe)|=(Qe)"
     , definitionTable =

frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm

@@ -7,6 +7,7 @@ argumentFlatEarthDebunk : Argument
 argumentFlatEarthDebunk =
     { argumentTitle = "Flat Earth Internal Critique"
     , propositionTitle = "The stars in the sky will not be perceived as rotating clockwise from anywhere else on the flat Earth, as long as you are looking towards the rotational plane."
+    , propositionReductio = ""
     , propositionSummary = "The argument is structured to demonstrate that, within the context of a flat Earth model, if the stars are perceived as rotating counter-clockwise from the center, they cannot also be perceived as rotating clockwise from any point on the Earth."
     , proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Pxy~5(Qyz~5Rxz))),(Pkt~1Qta),(Rka~5~3Ska)|=(~3Ska)"
     , definitionTable =

frontend/src/Debate/Arguments/Science/TruncatedMeta.elm

@@ -7,6 +7,7 @@ argumentTruncatedMeta : Argument
 argumentTruncatedMeta =
     { argumentTitle = "Argument For Truncated Meta-Analysis"
     , propositionTitle = "Meta-analytic summations that include adequately powered studies to the exclusion of insufficiently powered studies will provide better causal estimates than meta-analytic summations that include both adequately powered studies and insufficiently powered studies."
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P)%7C=(Q)"
     , definitionTable =

frontend/src/Debate/Arguments/Template.elm

@@ -7,6 +7,7 @@ argument : Argument
 argument =
     { argumentTitle = "Title"
     , propositionTitle = "Proposition"
+    , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = ""
     , definitionTable =

frontend/src/Debate/Helpers.elm

@@ -1,4 +1,4 @@
-module Debate.Arguments.Helpers exposing (..)
+module Debate.Helpers exposing (..)
 
 import Config.Colour as T exposing (..)
 import Config.Format as O exposing (..)
@@ -58,6 +58,17 @@ argumentMaker argument =
                         )
                 )
                 argument.argumentFormalization
+
+        maybeReductioField =
+            case argument.propositionReductio of
+                "" -> 
+                    none
+                    
+                reductio ->
+                    paragraph (paragraphBoldFormat ++ [ F.size 18 ])
+                        [ text "Reductio: " |> el [ F.color colourTheme.highlightText ]
+                        , text reductio |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ]
+                        ]
     in
     column
         [ paragraphWidth, alignLeft, spacing 8, paddingEach { top = 0, right = 0, bottom = 60, left = 0 } ]
@@ -71,6 +82,7 @@ argumentMaker argument =
             [ text "Proposition: " |> el [ F.color colourTheme.highlightText ]
             , text argument.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ]
             ]
+        , maybeReductioField
         , paragraph (paragraphBoldFormat ++ [ F.size 18 ])
             [ text "Summary: " |> el [ F.color colourTheme.highlightText ]
             , text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ]

frontend/src/Debate/Types.elm

@@ -11,6 +11,7 @@ type alias Argument =
     { argumentTitle : String
     , propositionTitle : String
     , propositionSummary : String
+    , propositionReductio : String
     , proofLink : String
     , definitionTable : List Definition
     , argumentFormalization : List ArgumentEntry

frontend/src/Pages/Arguments.elm

@@ -3,7 +3,7 @@ module Pages.Arguments exposing (Model, Msg, page)
 import Config.Colour as T exposing (..)
 import Config.Format as O exposing (..)
 import Config.Identity as I exposing (..)
-import Debate.Arguments.Helpers exposing (..)
+import Debate.Helpers exposing (..)
 import Debate.Arguments.Medicine.ApoBCVD exposing (..)
 import Debate.Arguments.Nutrition.AnabolicKeto exposing (..)
 import Debate.Arguments.Nutrition.AntagonisticPleiotropy exposing (..)