feat: v1 done?

frontend/src/Config/Helpers/Markdown.elm

@@ -506,9 +506,9 @@ heading { level, rawText, children } =
 rawTextToId rawText =
     rawText
         |> String.split " "
-        |> Debug.log "split"
+        -- |> Debug.log "split"
         |> String.join "-"
-        |> Debug.log "joined"
+        -- |> Debug.log "joined"
         |> String.toLower
 
 

frontend/src/Config/Pages/Blog/Records/PlantBasedMeta.elm

@@ -10,7 +10,7 @@ articlePlantBasedMeta =
     , articleLink = Path.toString Path.Blog_Plantbasedmeta
     , articleAuthor = "Nick Hiebert"
     , isNewTabLink = False
-    , hasReferences = False
+    , hasReferences = True
     , hasTableOfContents = True
     , articleImage = "plantbasedmeta"
     , articlePublished = "Feb 5, 2021"
@@ -1077,13 +1077,315 @@ If you have enjoyed my work and want me to continue producing this sort of conte
 ![][image187]
 [image187]: /blog/plantbasedmeta/image187.png 
 
-Thank you for reading! If you like what you've read and want help me create more content like this, consider pledging your [Support](https://www.uprootnutrition.com/donate). Every little bit helps! I hope you found the content interesting!"""
+Thank you for reading! If you like what you've read and want help me create more content like this, consider pledging your [Support](https://www.uprootnutrition.com/donate). Every little bit helps! I hope you found the content interesting!
+
+# BIBLIOGRAPHY"""
     , articleReferences =
-        [ { author = ""
-          , title = ""
-          , journal = ""
-          , year = ""
-          , link = ""
+        [ { author = "Agren, J. J., et al."
+          , title = "Divergent Changes in Serum Sterols during a Strict Uncooked Vegan Diet in Patients with Rheumatoid Arthritis"
+          , journal = "The British Journal of Nutrition"
+          , year = "2001"
+          , link = "https://doi.org/10.1079/bjn2000234"
+          }
+        , { author = "Alleman, Rick J., et al."
+          , title = "Both a Traditional and Modified Daniel Fast Improve the Cardio-Metabolic Profile in Men and Women"
+          , journal = "Lipids in Health and Disease"
+          , year = "2013"
+          , link = "https://doi.org/10.1186/1476-511X-12-114"
+          }
+        , { author = "Barnard, N. D., et al."
+          , title = "Effectiveness of a Low-Fat Vegetarian Diet in Altering Serum Lipids in Healthy Premenopausal Women"
+          , journal = "The American Journal of Cardiology"
+          , year = "2000"
+          , link = "https://doi.org/10.1016/s0002-9149(99)00911-x"
+          }
+        , { author = "Barnard, Neal D., et al."
+          , title = "The Effects of a Low-Fat, Plant-Based Dietary Intervention on Body Weight, Metabolism, and Insulin Sensitivity"
+          , journal = "The American Journal of Medicine"
+          , year = "2005"
+          , link = "https://doi.org/10.1016/j.amjmed.2005.03.039"
+          }
+        , { author = "Barnard, Neal D., et al."
+          , title = "A Low-Fat Vegan Diet Improves Glycemic Control and Cardiovascular Risk Factors in a Randomized Clinical Trial in Individuals with Type 2 Diabetes"
+          , journal = "Diabetes Care"
+          , year = "2006"
+          , link = "https://doi.org/10.2337/dc06-0606"
+          }
+        , { author = "Barnard, Neal D., et al."
+          , title = "A Low-Fat Vegan Diet and a Conventional Diabetes Diet in the Treatment of Type 2 Diabetes: A Randomized, Controlled, 74-Wk Clinical Trial"
+          , journal = "The American Journal of Clinical Nutrition"
+          , year = "2009"
+          , link = "https://doi.org/10.3945/ajcn.2009.26736H"
+          }
+        , { author = "Barnard, Neal D., et al."
+          , title = "Turning the Waiting Room into a Classroom: Weekly Classes Using a Vegan or a Portion-Controlled Eating Plan Improve Diabetes Control in a Randomized Translational Study"
+          , journal = "Journal of the Academy of Nutrition and Dietetics"
+          , year = "2018"
+          , link = "https://doi.org/10.1016/j.jand.2017.11.017"
+          }
+        , { author = "Barnard, Neal D., et al."
+          , title = "A Mediterranean Diet and Low-Fat Vegan Diet to Improve Body Weight and Cardiometabolic Risk Factors: A Randomized, Cross-over Trial"
+          , journal = "Journal of the American Nutrition Association"
+          , year = "2022"
+          , link = "https://doi.org/10.1080/07315724.2020.1869625"
+          }
+        , { author = "Bloomer, Richard J., et al."
+          , title = "Comparison of a Restricted and Unrestricted Vegan Diet Plan with a Restricted Omnivorous Diet Plan on Health-Specific Measures"
+          , journal = "Healthcare (Basel, Switzerland)"
+          , year = "2015"
+          , link = "https://doi.org/10.3390/healthcare3030544"
+          }
+        , { author = "Bunner, Anne E., et al."
+          , title = "Nutrition Intervention for Migraine: A Randomized Crossover Trial"
+          , journal = "The Journal of Headache and Pain"
+          , year = "2014"
+          , link = "https://doi.org/10.1186/1129-2377-15-69"
+          }
+        , { author = "Crimarco, Anthony, et al."
+          , title = "A Randomized Crossover Trial on the Effect of Plant-Based Compared with Animal-Based Meat on Trimethylamine-N-Oxide and Cardiovascular Disease Risk Factors in Generally Healthy Adults: Study With Appetizing Plantfood-Meat Eating Alternative Trial (SWAP-MEAT)"
+          , journal = "The American Journal of Clinical Nutrition"
+          , year = "2020"
+          , link = "https://doi.org/10.1093/ajcn/nqaa203"
+          }
+        , { author = "David, Lawrence A., et al."
+          , title = "Diet Rapidly and Reproducibly Alters the Human Gut Microbiome"
+          , journal = "Nature"
+          , year = "2014"
+          , link = "https://doi.org/10.1038/nature12820"
+          }
+        , { author = "De Natale, Claudia, et al."
+          , title = "Effects of a Plant-Based High-Carbohydrate/High-Fiber Diet versus High-Monounsaturated Fat/Low-Carbohydrate Diet on Postprandial Lipids in Type 2 Diabetic Patients"
+          , journal = "Diabetes Care"
+          , year = "2009"
+          , link = "https://doi.org/10.2337/dc09-0266"
+          }
+        , { author = "Crosby, Lelia, et al."
+          , title = "Changes in Food and Nutrient Intake and Diet Quality on a Low-Fat Vegan Diet Are Associated with Changes in Body Weight, Body Composition, and Insulin Sensitivity in Overweight Adults: A Randomized Clinical Trial"
+          , journal = "Journal of the Academy of Nutrition and Dietetics"
+          , year = "2022"
+          , link = "https://doi.org/10.1016/j.jand.2022.04.008"
+          }
+        , { author = "Draper, Colleen Fogarty, et al."
+          , title = "Vegan and Animal Meal Composition and Timing Influence Glucose and Lipid Related Postprandial Metabolic Profiles"
+          , journal = "Molecular Nutrition & Food Research"
+          , year = "2019"
+          , link = "https://doi.org/10.1002/mnfr.201800568"
+          }
+        , { author = "Elkan, Ann-Charlotte, et al."
+          , title = "Gluten-Free Vegan Diet Induces Decreased LDL and Oxidized LDL Levels and Raised Atheroprotective Natural Antibodies against Phosphorylcholine in Patients with Rheumatoid Arthritis: A Randomized Study"
+          , journal = "Arthritis Research & Therapy"
+          , year = "2008"
+          , link = "https://doi.org/10.1186/ar2388"
+          }
+        , { author = "Ferdowsian, Hope R., et al."
+          , title = "A Multicomponent Intervention Reduces Body Weight and Cardiovascular Risk at a GEICO Corporate Site"
+          , journal = "American Journal of Health Promotion: AJHP"
+          , year = "2010"
+          , link = "https://doi.org/10.4278/ajhp.081027-QUAN-255"
+          }
+        , { author = "Gardner, Christopher D., et al."
+          , title = "The Effect of a Plant-Based Diet on Plasma Lipids in Hypercholesterolemic Adults: A Randomized Trial"
+          , journal = "Annals of Internal Medicine"
+          , year = "2005"
+          , link = "https://doi.org/10.7326/0003-4819-142-9-200505030-00007"
+          }
+        , { author = "Hall, Kevin D., et al."
+          , title = "Effect of a Plant-Based, Low-Fat Diet versus an Animal-Based, Ketogenic Diet on Ad Libitum Energy Intake"
+          , journal = "Nature Medicine"
+          , year = "2021"
+          , link = "https://doi.org/10.1038/s41591-020-01209-1"
+          }
+        , { author = "Jenkins, David J. A., et al."
+          , title = "The Effect of a Plant-Based Low-Carbohydrate (‘Eco-Atkins’) Diet on Body Weight and Blood Lipid Concentrations in Hyperlipidemic Subjects"
+          , journal = "Archives of Internal Medicine"
+          , year = "2009"
+          , link = "https://doi.org/10.1001/archinternmed.2009.115"
+          }
+        , { author = "Jenkins, David J. A., et al."
+          , title = "Effect of a Dietary Portfolio of Cholesterol-Lowering Foods given at 2 Levels of Intensity of Dietary Advice on Serum Lipids in Hyperlipidemia: A Randomized Controlled Trial."
+          , journal = "JAMA"
+          , year = "2011"
+          , link = "https://doi.org/10.1001/jama.2011.1202"
+          }
+        , { author = "Jenkins, David J. A., et al."
+          , title = "Effect of a 6-Month Vegan Low-Carbohydrate ('Eco-Atkins’) Diet on Cardiovascular Risk Factors and Body Weight in Hyperlipidaemic Adults: A Randomised Controlled Trial."
+          , journal = "BMJ Open"
+          , year = "2014"
+          , link = "https://doi.org/10.1136/bmjopen-2013-003505"
+          }
+        , { author = "Kaartinen, K., et al."
+          , title = "Vegan Diet Alleviates Fibromyalgia Symptoms."
+          , journal = "Scandinavian Journal of Rheumatology"
+          , year = "2000"
+          , link = "https://doi.org/10.1080/030097400447697"
+          }
+        , { author = "Kahleova, Hana, et al."
+          , title = "A Plant-Based High-Carbohydrate, Low-Fat Diet in Overweight Individuals in a 16-Week Randomized Clinical Trial: The Role of Carbohydrates."
+          , journal = "Nutrients"
+          , year = "2018"
+          , link = "https://doi.org/10.3390/nu10091302"
+          }
+        , { author = "Kahleova, Hana, et al."
+          , title = "A Plant-Based Meal Stimulates Incretin and Insulin Secretion More Than an Energy- and Macronutrient-Matched Standard Meal in Type 2 Diabetes: A Randomized Crossover Study."
+          , journal = "Nutrients"
+          , year = "2019"
+          , link = "https://doi.org/10.3390/nu11030486"
+          }
+        , { author = "Kahleova, Hana, et al."
+          , title = "Effect of a Low-Fat Vegan Diet on Body Weight, Insulin Sensitivity, Postprandial Metabolism, and Intramyocellular and Hepatocellular Lipid Levels in Overweight Adults: A Randomized Clinical Trial."
+          , journal = "JAMA Network Open"
+          , year = "2020"
+          , link = "https://doi.org/10.1001/jamanetworkopen.2020.25454"
+          }
+        , { author = "Kahleova, Hana, et al."
+          , title = "Fat Quantity and Quality, as Part of a Low-Fat, Vegan Diet, Are Associated with Changes in Body Composition, Insulin Resistance, and Insulin Secretion. A 16-Week Randomized Controlled Trial."
+          , journal = "Nutrients"
+          , year = "2019"
+          , link = "https://doi.org/10.3390/nu11030615"
+          }
+        , { author = "Kjeldsen-Kragh, J., et al."
+          , title = "Vegetarian Diet for Patients with Rheumatoid Arthritis: Can the Clinical Effects Be Explained by the Psychological Characteristics of the Patients?"
+          , journal = "British Journal of Rheumatology"
+          , year = "1994"
+          , link = "https://doi.org/10.1093/rheumatology/33.6.569"
+          }
+        , { author = "Klementova, Marta, et al."
+          , title = "A Plant-Based Meal Increases Gastrointestinal Hormones and Satiety More Than an Energy- and Macronutrient-Matched Processed-Meat Meal in T2D, Obese, and Healthy Men: A Three-Group Randomized Crossover Study."
+          , journal = "Nutrients"
+          , year = "2019"
+          , link = "https://doi.org/10.3390/nu11010157"
+          }
+        , { author = "Koebnick, C., et al."
+          , title = "Double-Blind, Randomized Feedback Control Fails to Improve the Hypocholesterolemic Effect of a Plant-Based Low-Fat Diet in Patients with Moderately Elevated Total Cholesterol Levels."
+          , journal = "European Journal of Clinical Nutrition"
+          , year = "2004"
+          , link = "https://doi.org/10.1038/sj.ejcn.1601984"
+          }
+        , { author = "Lederer, Ann-Kathrin, et al."
+          , title = "Vitamin B12 Status Upon Short-Term Intervention with a Vegan Diet-A Randomized Controlled Trial in Healthy Participants."
+          , journal = "Nutrients"
+          , year = "2019"
+          , link = "https://doi.org/10.3390/nu11112815"
+          }
+        , { author = "Lee, Yu-Mi, et al."
+          , title = "Effect of a Brown Rice Based Vegan Diet and Conventional Diabetic Diet on Glycemic Control of Patients with Type 2 Diabetes: A 12-Week Randomized Clinical Trial."
+          , journal = "PloS One"
+          , year = "2016"
+          , link = "https://doi.org/10.1371/journal.pone.0155918"
+          }
+        , { author = "Ling, W. H., and O. Hänninen."
+          , title = "Shifting from a Conventional Diet to an Uncooked Vegan Diet Reversibly Alters Fecal Hydrolytic Activities in Humans."
+          , journal = "The Journal of Nutrition"
+          , year = "1992"
+          , link = "https://doi.org/10.1093/jn/122.4.924"
+          }
+        , { author = "Macknin, Michael, et al."
+          , title = "Plant-Based, No-Added-Fat or American Heart Association Diets: Impact on Cardiovascular Risk in Obese Children with Hypercholesterolemia and Their Parents."
+          , journal = "The Journal of Pediatrics"
+          , year = "2015"
+          , link = "https://doi.org/10.1016/j.jpeds.2014.12.058"
+          }
+        , { author = "Mishra, S., et al."
+          , title = "A Multicenter Randomized Controlled Trial of a Plant-Based Nutrition Program to Reduce Body Weight and Cardiovascular Risk in the Corporate Setting: The GEICO Study."
+          , journal = "European Journal of Clinical Nutrition"
+          , year = "2013"
+          , link = "https://doi.org/10.1038/ejcn.2013.92"
+          }
+        , { author = "Neacsu, Madalina, et al."
+          , title = "Appetite Control and Biomarkers of Satiety with Vegetarian (Soy) and Meat-Based High-Protein Diets for Weight Loss in Obese Men: A Randomized Crossover Trial."
+          , journal = "The American Journal of Clinical Nutrition"
+          , year = "2014"
+          , link = "https://doi.org/10.3945/ajcn.113.077503"
+          }
+        , { author = "Nicholson, A. S., et al."
+          , title = "Toward Improved Management of NIDDM: A Randomized, Controlled, Pilot Intervention Using a Lowfat, Vegetarian Diet."
+          , journal = "Preventive Medicine"
+          , year = "1999"
+          , link = "https://doi.org/10.1006/pmed.1999.0529"
+          }
+        , { author = "Ornish, D., et al."
+          , title = "Can Lifestyle Changes Reverse Coronary Heart Disease? The Lifestyle Heart Trial."
+          , journal = "Lancet (London, England)"
+          , year = "1990"
+          , link = "https://doi.org/10.1016/0140-6736(90)91656-u"
+          }
+        , { author = "Ornish, D., et al."
+          , title = "Intensive Lifestyle Changes for Reversal of Coronary Heart Disease."
+          , journal = "JAMA"
+          , year = "1998"
+          , link = "https://doi.org/10.1001/jama.280.23.2001"
+          }
+        , { author = "Päivärinta, Essi, et al."
+          , title = "Replacing Animal-Based Proteins with Plant-Based Proteins Changes the Composition of a Whole Nordic Diet-A Randomised Clinical Trial in Healthy Finnish Adults."
+          , journal = "Nutrients"
+          , year = "2020"
+          , link = "https://doi.org/10.3390/nu12040943"
+          }
+        , { author = "Peltonen, R., et al."
+          , title = "Faecal Microbial Flora and Disease Activity in Rheumatoid Arthritis during a Vegan Diet."
+          , journal = "British Journal of Rheumatology"
+          , year = "1997"
+          , link = "https://doi.org/10.1093/rheumatology/36.1.64"
+          }
+        , { author = "Ramal, Edelweiss, et al."
+          , title = "Impact of a Plant-Based Diet and Support on Mitigating Type 2 Diabetes Mellitus in Latinos Living in Medically Underserved Areas."
+          , journal = "American Journal of Health Promotion: AJHP"
+          , year = "2018"
+          , link = "https://doi.org/10.1177/0890117117706793"
+          }
+        , { author = "Shah, Binita, et al."
+          , title = "Anti-Inflammatory Effects of a Vegan Diet Versus the American Heart Association-Recommended Diet in Coronary Artery Disease Trial."
+          , journal = "Journal of the American Heart Association"
+          , year = "2018"
+          , link = "https://doi.org/10.1161/JAHA.118.011367"
+          }
+        , { author = "Sofi, Francesco, et al."
+          , title = "Low-Calorie Vegetarian Versus Mediterranean Diets for Reducing Body Weight and Improving Cardiovascular Risk Profile: CARDIVEG Study (Cardiovascular Prevention With Vegetarian Diet)."
+          , journal = "Circulation"
+          , year = "2018"
+          , link = "https://doi.org/10.1161/CIRCULATIONAHA.117.030088"
+          }
+        , { author = "Sutliffe, Jay T., et al."
+          , title = "C-Reactive Protein Response to a Vegan Lifestyle Intervention."
+          , journal = "Complementary Therapies in Medicine"
+          , year = "2015"
+          , link = "https://doi.org/10.1016/j.ctim.2014.11.001"
+          }
+        , { author = "Turner-McGrievy, Gabrielle M., et al."
+          , title = "A Two-Year Randomized Weight Loss Trial Comparing a Vegan Diet to a More Moderate Low-Fat Diet."
+          , journal = "Obesity (Silver Spring, Md.)"
+          , year = "2007"
+          , link = "https://doi.org/10.1038/oby.2007.270"
+          }
+        , { author = "Turner-McGrievy, Gabrielle M., et al."
+          , title = "Low Glycemic Index Vegan or Low-Calorie Weight Loss Diets for Women with Polycystic Ovary Syndrome: A Randomized Controlled Feasibility Study."
+          , journal = "Nutrition Research (New York, N.Y.)"
+          , year = "2014"
+          , link = "https://doi.org/10.1016/j.nutres.2014.04.011"
+          }
+        , { author = "Turner-McGrievy, Gabrielle M., et al."
+          , title = "Comparative Effectiveness of Plant-Based Diets for Weight Loss: A Randomized Controlled Trial of Five Different Diets."
+          , journal = "Nutrition (Burbank, Los Angeles County, Calif.)"
+          , year = "2015"
+          , link = "https://doi.org/10.1016/j.nut.2014.09.002"
+          }
+        , { author = "Turner-McGrievy, Gabrielle M., et al."
+          , title = "Randomization to Plant-Based Dietary Approaches Leads to Larger Short-Term Improvements in Dietary Inflammatory Index Scores and Macronutrient Intake Compared with Diets That Contain Meat."
+          , journal = "Nutrition Research (New York, N.Y.)"
+          , year = "2015"
+          , link = "https://doi.org/10.1016/j.nutres.2014.11.007"
+          }
+        , { author = "Wright, N., et al."
+          , title = "The BROAD Study: A Randomised Controlled Trial Using a Whole Food Plant-Based Diet in the Community for Obesity, Ischaemic Heart Disease or Diabetes."
+          , journal = "Nutrition & Diabetes"
+          , year = "2017"
+          , link = "https://doi.org/10.1038/nutd.2017.3"
+          }
+        , { author = "Yadav, Vijayshree, et al."
+          , title = "Low-Fat, Plant-Based Diet in Multiple Sclerosis: A Randomized Controlled Trial."
+          , journal = "Multiple Sclerosis and Related Disorders"
+          , year = "2016"
+          , link = "https://doi.org/10.1016/j.msard.2016.07.001"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/List.elm

@@ -1,5 +1,6 @@
 module Config.Pages.Debate.Arguments.List exposing (..)
 
+import Config.Helpers.Converters exposing (toTitleCase)
 import Config.Pages.Debate.Arguments.Records.Abortion exposing (argumentAbortion)
 import Config.Pages.Debate.Arguments.Records.Agnosticism exposing (argumentAgnosticism)
 import Config.Pages.Debate.Arguments.Records.AgriculturalPredation exposing (argumentAgriculturalPredation)
@@ -11,6 +12,7 @@ import Config.Pages.Debate.Arguments.Records.AntiVandalism exposing (argumentAnt
 import Config.Pages.Debate.Arguments.Records.ApoBCVD exposing (argumentApoBCVD)
 import Config.Pages.Debate.Arguments.Records.BoobyTrapPagers exposing (argumentBoobyTrapPagers)
 import Config.Pages.Debate.Arguments.Records.CarbsObesity exposing (argumentCarbsObesity)
+import Config.Pages.Debate.Arguments.Records.CateUpfReductio exposing (argumentCateUpfReductio)
 import Config.Pages.Debate.Arguments.Records.ColonizingNature exposing (argumentColonizingNature)
 import Config.Pages.Debate.Arguments.Records.CropDeaths exposing (argumentCropDeaths)
 import Config.Pages.Debate.Arguments.Records.DairyCowRape exposing (argumentDairyCowRape)
@@ -53,7 +55,6 @@ import Config.Pages.Debate.Arguments.Records.UnhealthyRedMeat exposing (argument
 import Config.Pages.Debate.Arguments.Records.UnhealthySaturatedFat exposing (argumentUnhealthySaturatedFat)
 import Config.Pages.Debate.Arguments.Records.VeganSocietyReductio exposing (argumentVeganSocietyReductio)
 import Config.Pages.Debate.Arguments.Types exposing (..)
-import Config.Helpers.Converters exposing (toTitleCase)
 
 
 argumentList : List Argument
@@ -62,6 +63,7 @@ argumentList =
     , argumentAnabolicKeto
     , argumentAntagonisticPleiotropy
     , argumentCarbsObesity
+    , argumentCateUpfReductio
     , argumentDietaryCholesterol
     , argumentFructoseNAFLD
     , argumentHealthPromotingFoods

frontend/src/Config/Pages/Debate/Arguments/Records/CateUpfReductio.elm

@@ -0,0 +1,47 @@
+module Config.Pages.Debate.Arguments.Records.CateUpfReductio exposing (..)
+
+import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
+
+
+argumentCateUpfReductio : Argument
+argumentCateUpfReductio =
+    { argumentTitle = toTitleCase "Cate's Ultraprocessed Food Reductio"
+    , propositionTitle = "Reducing the dietary intake of red meat and butter will be good for us all."
+    , propositionReductio = ""
+    , propositionSummary = "Cate Shanahan affirmed P1 in a post on X. The position is basically that if an ingredient is included in ultraprocessed foods, then reducing the intake of that ingredient (presumably inside and outside of the ultraprocessed food context) is a good thing."
+    , proofLink = "https://www.umsu.de/trees/#~6x(Px~5Qx),Pr~1Pb|=Qr~1Qb"
+    , argumentCertainty = 10
+    , argumentImage = "cateupfreductio"
+    , argumentHashtags = []
+    , definitionTable =
+        [ { definiendum = "P(x)"
+          , definiens = "(x) is an ingredient in ultraprocessed foods"
+          }
+        , { definiendum = "Q(x)"
+          , definiens = "reducing the dietary intake of (x) will be good for us all"
+          }
+        , { definiendum = "x"
+          , definiens = "a substance"
+          }
+        , { definiendum = "r"
+          , definiens = "red meat"
+          }
+        , { definiendum = "b"
+          , definiens = "butter"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "If a substance is an ingredient in ultraprocessed foods, then reducing the dietary intake of that substance will be good for us all."
+                  , notation = "∀x(Px→Qx)"
+                  }
+                , { premise = "Red meat and butter are ingredients in ultraprocessed foods."
+                  , notation = "Pr∧Pb"
+                  }
+                ]
+          , conclusion = "Therefore, reducing the dietary intake of red meat and butter will be good for us all."
+          , conclusionNotation = "Qr∧Qb"
+          }
+        ]
+    }

frontend/src/Config/Pages/Debate/Arguments/Records/HealthyChocolate.elm

@@ -1,7 +1,7 @@
 module Config.Pages.Debate.Arguments.Records.HealthyChocolate exposing (..)
 
-import Config.Pages.Debate.Arguments.Types exposing (..)
 import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
 
 
 argumentHealthyChocolate : Argument
@@ -11,19 +11,21 @@ argumentHealthyChocolate =
     , propositionReductio = ""
     , 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)"
-    
     , argumentCertainty = 7
     , argumentImage = "chocolate"
     , argumentHashtags = []
     , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) causes atherosclerosis"
+          , definiens = "(x) has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "populations consuming more (x) have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  healthy than it is to believe the opposite."
           }
         , { definiendum = "x"
-          , definiens = "a high saturated fat food"
+          , definiens = "a food"
           }
         , { definiendum = "c"
           , definiens = "chocolate"
@@ -31,15 +33,18 @@ argumentHealthyChocolate =
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, if a high saturated fat food causes atherosclerosis, then populations consuming more of this high saturated fat food have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px→Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Populations consuming more chocolate do not have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
-                  , notation = "¬Qc"
+                , { premise = "Chocolate has a strong tendency to associate with a reduced risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Pc"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on chocolate."
+                  , notation = "Qc"
                   }
                 ]
-          , conclusion = "Therefore, chocolate does not cause atherosclerosis."
-          , conclusionNotation = "¬Pc"
+          , conclusion = "Therefore, it is more reasonable to believe that chocolate is healthy than it is to believe the opposite."
+          , conclusionNotation = "Rc"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/Records/HealthyFattyFish.elm

@@ -1,45 +1,50 @@
 module Config.Pages.Debate.Arguments.Records.HealthyFattyFish exposing (..)
 
-import Config.Pages.Debate.Arguments.Types exposing (..)
 import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
 
 
 argumentHealthyFattyFish : Argument
 argumentHealthyFattyFish =
-    { argumentTitle = toTitleCase "Argument for Overwhelmingly Healthy Fatty Fish"
-    , propositionTitle = "Fatty fish is overwhelmingly healthy."
+    { argumentTitle = toTitleCase "Argument for  Healthy Fatty Fish"
+    , propositionTitle = "Fatty fish is  healthy."
     , 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)"
-    
     , argumentCertainty = 8
     , argumentImage = "fattyfish"
     , argumentHashtags = []
     , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) is overwhelmingly healthy"
+          , definiens = "(x) has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "(x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  healthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
           }
-        , { definiendum = "f"
-          , definiens = "fattyfish"
+        , { definiendum = "t"
+          , definiens = "fatty fish"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, a food is overwhelmingly healthy if, and only if, the food consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px↔Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Fatty fish consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "Qf"
+                , { premise = "Fatty fish have a strong tendency to associate with a reduced risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Pt"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on fatty fish."
+                  , notation = "Qt"
                   }
                 ]
-          , conclusion = "Therefore, fatty fish is overwhelmingly healthy."
-          , conclusionNotation = "Pf"
+          , conclusion = "Therefore, it is more reasonable to believe that fatty fish are healthy than it is to believe the opposite."
+          , conclusionNotation = "Rt"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/Records/HealthyFibre.elm

@@ -6,8 +6,8 @@ import Config.Helpers.Converters exposing (toTitleCase)
 
 argumentHealthyFibre : Argument
 argumentHealthyFibre =
-    { argumentTitle = toTitleCase "Argument for Overwhelmingly Healthy Fibre"
-    , propositionTitle = "Fibre, whether whole or refined, is overwhelmingly healthy."
+    { argumentTitle = toTitleCase "Argument for  Healthy Fibre"
+    , propositionTitle = "Fibre, whether whole or refined, is  healthy."
     , 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)"
@@ -17,29 +17,35 @@ argumentHealthyFibre =
     , argumentHashtags = []
      , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) is overwhelmingly healthy"
+          , definiens = "(x) has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "(x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  healthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
           }
-        , { definiendum = "b"
+        , { definiendum = "f"
           , definiens = "fibre"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, a food is overwhelmingly healthy if, and only if, the food consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px↔Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Fibre, whether whole or refined, consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "Qb"
+                , { premise = "Fibre has a strong tendency to associate with a reduced risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Pf"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on fibre."
+                  , notation = "Qf"
                   }
                 ]
-          , conclusion = "Therefore, fibre, whether whole or refined, is overwhelmingly healthy."
-          , conclusionNotation = "Pb"
+          , conclusion = "Therefore, it is more reasonable to believe that fibre is healthy than it is to believe the opposite."
+          , conclusionNotation = "Rf"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/Records/HealthyPlantFoods.elm

@@ -1,26 +1,28 @@
 module Config.Pages.Debate.Arguments.Records.HealthyPlantFoods exposing (..)
 
-import Config.Pages.Debate.Arguments.Types exposing (..)
 import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
 
 
 argumentHealthyPlantFoods : Argument
 argumentHealthyPlantFoods =
-    { argumentTitle = toTitleCase "Argument for Overwhelmingly Healthy Plant Foods"
-    , propositionTitle = "Whole plant foods are overwhelmingly healthy."
+    { argumentTitle = toTitleCase "Argument for  Healthy Plant Foods"
+    , propositionTitle = "Whole plant foods are  healthy."
     , 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."
+    , 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  healthy."
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
-    
     , argumentCertainty = 9
     , argumentImage = "plantfoods"
     , argumentHashtags = []
     , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) is overwhelmingly healthy"
+          , definiens = "(x) has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "(x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  healthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
@@ -31,15 +33,18 @@ argumentHealthyPlantFoods =
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, a food is overwhelmingly healthy if, and only if, the food consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px↔Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Whole plant foods consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
+                , { premise = "Whole plant foods have a strong tendency to associate with a reduced risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Pw"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on whole plant foods."
                   , notation = "Qw"
                   }
                 ]
-          , conclusion = "Therefore, whole plant foods are overwhelmingly healthy."
-          , conclusionNotation = "Pw"
+          , conclusion = "Therefore, it is more reasonable to believe that whole plant foods are healthy than it is to believe the opposite."
+          , conclusionNotation = "Rw"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/Records/HealthySeedOils.elm

@@ -6,8 +6,8 @@ import Config.Helpers.Converters exposing (toTitleCase)
 
 argumentHealthySeedOils : Argument
 argumentHealthySeedOils =
-    { argumentTitle = toTitleCase "Argument for Overwhelmingly Healthy Seed Oils"
-    , propositionTitle = "Non-hydrogenated vegetable oils are overwhelmingly healthy."
+    { argumentTitle = toTitleCase "Argument for  Healthy Seed Oils"
+    , propositionTitle = "Non-hydrogenated vegetable oils are  healthy."
     , propositionReductio = ""
     , propositionSummary = "Even when you account for known factors, or model a reasonable accounting of unknown factors, that could plausibly influence the results (such as with adjustment models in prospective cohort studies or randomization in controlled trials), non-hydrogenated vegetable oils have been shown to consistently reduce the risk of morbidity and mortality in both prospective cohort studies and randomized controlled trials, strongly suggesting that they directly contribute to better health outcomes."
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pv)|=(Qv)"
@@ -22,7 +22,7 @@ argumentHealthySeedOils =
           , definiens = "there is a dearth of epistemically countervailing data on (x)."
           }
         , { definiendum = "R(x)"
-          , definiens = "it is more reasonable to believe that (x) is overwhelmingly healthy than it is to believe the opposite."
+          , definiens = "it is more reasonable to believe that (x) is  healthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
@@ -36,7 +36,7 @@ argumentHealthySeedOils =
                 [ { premise = "For all things, if a food has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
                   , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Non-hydrogenated vegetable oils consistently associate with a reduced risk of morbidity and mortality after adjustmenting and/or controlling for relevant variables."
+                , { premise = "Non-hydrogenated vegetable oils have a strong tendency to associate with a reduced risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
                   , notation = "Pv"
                   }
                 , { premise = "There is a dearth of epistemically countervailing data on non-hydrogenated vegetable oils."

frontend/src/Config/Pages/Debate/Arguments/Records/HealthySoy.elm

@@ -1,26 +1,28 @@
 module Config.Pages.Debate.Arguments.Records.HealthySoy exposing (..)
 
-import Config.Pages.Debate.Arguments.Types exposing (..)
 import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
 
 
 argumentHealthySoy : Argument
 argumentHealthySoy =
     { argumentTitle = toTitleCase "Argument for Healthy Soy Products"
-    , propositionTitle = "Soy products are overwhelmingly healthy."
+    , propositionTitle = "Soy products are  healthy."
     , 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)"
-    
     , argumentCertainty = 7
     , argumentImage = "soyproducts"
     , argumentHashtags = []
     , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) is overwhelmingly healthy"
+          , definiens = "(x) has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "(x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  healthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
@@ -31,15 +33,18 @@ argumentHealthySoy =
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, a food is overwhelmingly healthy if, and only if, the food consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px↔Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with a reduced risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Soy products consistently associate with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
+                , { premise = "Soy products have a strong tendency to associate with a reduced risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Ps"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on soy products."
                   , notation = "Qs"
                   }
                 ]
-          , conclusion = "Therefore, soy products are overwhelmingly healthy."
-          , conclusionNotation = "Ps"
+          , conclusion = "Therefore, it is more reasonable to believe that soy products are healthy than it is to believe the opposite."
+          , conclusionNotation = "Rs"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/Records/UnhealthyProcessedMeat.elm

@@ -1,13 +1,13 @@
 module Config.Pages.Debate.Arguments.Records.UnhealthyProcessedMeat exposing (..)
 
-import Config.Pages.Debate.Arguments.Types exposing (..)
 import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
 
 
 argumentUnhealthyProcessedMeat : Argument
 argumentUnhealthyProcessedMeat =
     { argumentTitle = toTitleCase "Argument for Unhealthy Processed Meat"
-    , propositionTitle = "Processed meat is overwhelmingly unhealthy."
+    , propositionTitle = "Processed meat is  unhealthy."
     , propositionReductio = ""
     , propositionSummary = "Even when you account for factors that could plausibly influence the results, processed meat has been shown to consistently increase the risk of morbidity and mortality, strongly suggesting that they directly contribute to worse health outcomes, particularly with respect to colorectal cancer and heart disease."
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)"
@@ -16,29 +16,35 @@ argumentUnhealthyProcessedMeat =
     , argumentHashtags = []
     , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) is overwhelmingly unhealthy"
+          , definiens = "(x) has a strong tendency to associate with an increased risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "(x) consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  unhealthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
           }
-        , { definiendum = "s"
+        , { definiendum = "p"
           , definiens = "processed meat"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, a food is overwhelmingly unhealthy if, and only if, the food consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px↔Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with an increased risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Processed meat consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "Qs"
+                , { premise = "Processed meat has a strong tendency to associate with an increased risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Pp"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on processed meat."
+                  , notation = "Qp"
                   }
                 ]
-          , conclusion = "Therefore, processed meat is overwhelmingly unhealthy."
-          , conclusionNotation = "Ps"
+          , conclusion = "Therefore, it is more reasonable to believe that processed meat is unhealthy than it is to believe the opposite."
+          , conclusionNotation = "Rp"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/Records/UnhealthyRedMeat.elm

@@ -1,13 +1,13 @@
 module Config.Pages.Debate.Arguments.Records.UnhealthyRedMeat exposing (..)
 
-import Config.Pages.Debate.Arguments.Types exposing (..)
 import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
 
 
 argumentUnhealthyRedMeat : Argument
 argumentUnhealthyRedMeat =
     { argumentTitle = toTitleCase "Argument for Unhealthy Red Meat"
-    , propositionTitle = "Red meat and processed meat are overwhelmingly unhealthy."
+    , propositionTitle = "Red meat and processed meat are  unhealthy."
     , propositionReductio = ""
     , propositionSummary = "Even when you account for factors that could plausibly influence the results, unprocessed red meat has been shown to consistently increase the risk of morbidity and mortality, strongly suggesting that they directly contribute to worse health outcomes, particularly with respect to colorectal cancer and heart disease."
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm)|=(Pm)"
@@ -16,29 +16,35 @@ argumentUnhealthyRedMeat =
     , argumentHashtags = []
     , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) is overwhelmingly unhealthy"
+          , definiens = "(x) has a strong tendency to associate with an increased risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "(x) consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  unhealthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
           }
-        , { definiendum = "m"
-          , definiens = "redmeat"
+        , { definiendum = "r"
+          , definiens = "red meat"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, a food is overwhelmingly unhealthy if, and only if, the food consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px↔Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with an increased risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Unprocessed red meat consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "Qm"
+                , { premise = "Red meat has a strong tendency to associate with an increased risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Pr"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on red meat."
+                  , notation = "Qr"
                   }
                 ]
-          , conclusion = "Therefore, unprocessed red meat is overwhelmingly unhealthy."
-          , conclusionNotation = "Pm"
+          , conclusion = "Therefore, it is more reasonable to believe that red meat is unhealthy than it is to believe the opposite."
+          , conclusionNotation = "Rr"
           }
         ]
     }

frontend/src/Config/Pages/Debate/Arguments/Records/UnhealthySaturatedFat.elm

@@ -1,13 +1,13 @@
 module Config.Pages.Debate.Arguments.Records.UnhealthySaturatedFat exposing (..)
 
-import Config.Pages.Debate.Arguments.Types exposing (..)
 import Config.Helpers.Converters exposing (toTitleCase)
+import Config.Pages.Debate.Arguments.Types exposing (..)
 
 
 argumentUnhealthySaturatedFat : Argument
 argumentUnhealthySaturatedFat =
-    { argumentTitle = toTitleCase "Argument Against Saturated Fat"
-    , propositionTitle = "Most sources of saturated fat are overwhelmingly unhealthy."
+    { argumentTitle = toTitleCase "Argument Against Saturated Animal Fat"
+    , propositionTitle = "Most sources of saturated fat are  unhealthy."
     , propositionReductio = ""
     , propositionSummary = "Even when you account for factors that could plausibly influence the results, most animal-derived saturated fats have been shown to consistently increase the risk of morbidity and mortality, strongly suggesting that they directly contribute to worse health outcomes, particularly with respect to heart disease and non-alcoholic fatty liver disease."
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
@@ -16,29 +16,35 @@ argumentUnhealthySaturatedFat =
     , argumentHashtags = []
     , definitionTable =
         [ { definiendum = "P(x)"
-          , definiens = "(x) is overwhelmingly unhealthy"
+          , definiens = "(x) has a strong tendency to associate with an increased risk of morbidity and/or mortality after adjusting and/or controlling for relevant variables."
           }
         , { definiendum = "Q(x)"
-          , definiens = "(x) consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          , definiens = "there is a dearth of epistemically countervailing data on (x)."
+          }
+        , { definiendum = "R(x)"
+          , definiens = "it is more reasonable to believe that (x) is  unhealthy than it is to believe the opposite."
           }
         , { definiendum = "x"
           , definiens = "a food"
           }
-        , { definiendum = "f"
-          , definiens = "most sources of saturated fat"
+        , { definiendum = "s"
+          , definiens = "saturated animal fat"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = "For all things, a food is overwhelmingly unhealthy if, and only if, the food consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "∀x(Px↔Qx)"
+                [ { premise = "For all things, if a food has a strong tendency to associate with an increased risk of morbidity and/or mortality after adjusting and/or controling for relevant variables and there is a dearth of epistemically countervailing data on that food, then it is more reasonable to believe that the food is healthy than it is to believe the opposite."
+                  , notation = "∀x((Px∧Qx)→Rx)"
                   }
-                , { premise = "Most sources of saturated fat consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
-                  , notation = "Qf"
+                , { premise = "Saturated animal fat has a strong tendency to associate with an increased risk of morbidity and mortality after adjustment and/or controlling for relevant variables."
+                  , notation = "Ps"
+                  }
+                , { premise = "There is a dearth of epistemically countervailing data on saturated animal fat."
+                  , notation = "Qs"
                   }
                 ]
-          , conclusion = "Therefore, most sources of saturated fat are overwhelmingly unhealthy."
-          , conclusionNotation = "Pf"
+          , conclusion = "Therefore, it is more reasonable to believe that saturated animal fat is unhealthy than it is to believe the opposite."
+          , conclusionNotation = "Rs"
           }
         ]
     }

frontend/src/Layouts/Navbar.elm

@@ -645,10 +645,10 @@ footerItems input =
               , isNewTabLink = True
               , url = "https://x.com/upRootNutrition"
               }
-            , { icon = mastodon
-              , isNewTabLink = True
-              , url = "https://social.uprootnutrition.com/@nick"
-              }
+            -- , { icon = mastodon
+            --   , isNewTabLink = True
+            --   , url = "https://social.uprootnutrition.com/@nick"
+            --   }
             , { icon = discord
               , isNewTabLink = True
               , url = "https://discord.gg/eeYQ2wJknS"

frontend/src/Pages/Debate/Arguments.elm

@@ -16,6 +16,7 @@ import Config.Helpers.CardFormat
         , mobileImageSize
         , topLevelBox
         )
+import Config.Helpers.Converters exposing (toTitleCase)
 import Config.Helpers.Format
     exposing
         ( paragraphFontSize
@@ -40,7 +41,6 @@ import Config.Pages.Debate.Arguments.List
         ( argumentList
         )
 import Config.Pages.Debate.Arguments.Types exposing (..)
-import Config.Helpers.Converters exposing (toTitleCase)
 import Config.Style.Colour exposing (colourTheme)
 import Config.Style.Glow
     exposing
@@ -188,9 +188,10 @@ argumentMaker argument =
                 [ cardContentSpacing
                     [ column
                         fieldSpacer
-                        [ propositionMakerDesktop argument
-                        , reductioMakerDesktop argument
-                        , summaryMakerDesktop argument
+                        [ -- propositionMakerDesktop argument
+                          -- , reductioMakerDesktop argument
+                          -- ,
+                          summaryMakerDesktop argument
                         , strengthBar argument
                         , tableMaker argument
                         , desktopFormalizationMaker argument
@@ -214,11 +215,13 @@ argumentMakerMobile argument =
                         fieldSpacer
                         [ row [ spacing 10, E.width fill ]
                             [ mobileCardMaker mobileImageBoxSize mobileImageSize (argumentImage argument) (argumentLink argument)
-                            , column [ E.width fill ]
-                                [ propositionMakerMobile argument
+
+                            -- , column [ E.width fill ]
+                            --     [ propositionMakerMobile argument
+                            --     ]
                             ]
-                            ]
-                        , reductioMakerMobile argument
+
+                        -- , reductioMakerMobile argument
                         , summaryMakerMobile argument
                         , strengthBar argument
                         , tableMaker argument

frontend/src/Shared.elm

@@ -66,7 +66,6 @@ type alias Model =
 
 init : Result Json.Decode.Error Flags -> Route () -> ( Model, Effect Msg )
 init flagsResult route =
-    Debug.log "Debug: "
     ( modelFromFlagsResult flagsResult
     , Effect.none
     )
@@ -85,10 +84,6 @@ modelFromFlagsResult f =
             }
 
         Err e ->
-            let
-                _ =
-                    Debug.log "error" e
-            in
             { device =
                 classifyDevice
                     { height = 0