diff --git a/frontend/src/Cuckery/CuckList/SebastianRamirez/SebastianRamirez.elm b/frontend/src/Cuckery/CuckList/SebastianRamirez/SebastianRamirez.elm
old mode 100644
new mode 100755
diff --git a/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm b/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm
index d08fffb..ed18cd0 100755
--- a/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm
+++ b/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm
@@ -2,13 +2,36 @@ module Debate.Arguments.Medicine.ApoBCVD exposing (..)
 
 import Debate.Types exposing (..)
 
+
 argumentApoBCVD : Argument
 argumentApoBCVD =
+    let
+        argumentNotation : ArgumentStructure
+        argumentNotation =
+            { notationP1 = "∀x(Px↔Qx)"
+            , notationP2 = "Qw"
+            , notationP3 = ""
+            , notationP4 = ""
+            , notationP5 = ""
+            , notationP6 = ""
+            , notationP7 = ""
+            , notationP8 = ""
+            , notationP9 = ""
+            , notationP10 = ""
+            , notationC = "Pw"
+            }
+    in
     { argumentTitle = "Argument for Atherogenic ApoB"
     , propositionTitle = "ApoB-containing lipoproteins dose-dependently cause atherosclerosis."
     , 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)"
+    , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qw)|=(Pw)"
+    , proofText =
+        argumentNotation.notationP1
+            ++ ", "
+            ++ argumentNotation.notationP2
+            ++ ", ∴ "
+            ++ argumentNotation.notationC
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) dose-dependently causes atherosclerosis"
@@ -26,14 +49,14 @@ argumentApoBCVD =
     , argumentFormalization =
         [ { premises =
                 [ { premise = "For all things, a substance dose-dependently causes atherosclerosis if, and only if, a substance consistently, linearly, and proportionately associates with increased plaque volume after adjustment or control over relevant confounders and covariates."
-                  , notation = "(∀x(Px↔Qx))"
+                  , notation = argumentNotation.notationP1
                   }
                 , { premise = "ApoB-containing lipoproteins consistently, linearly, and proportionately associates with increased plaque volume after adjustment or control over relevant confounders and covariates."
-                  , notation = "(Qw)"
+                  , notation = argumentNotation.notationP2
                   }
                 ]
           , conclusion = "Therefore, ApoB-containing lipoproteins dose-dependently cause atherosclerosis."
-          , conclusionNotation = "(∴Pw)"
+          , conclusionNotation = argumentNotation.notationC
           }
         ]
-    }
\ No newline at end of file
+    }
diff --git a/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm
index 8cdd617..0a8c2a4 100755
--- a/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm
@@ -10,6 +10,7 @@ argumentAnabolicKeto =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "a higher proportion of amino acids are spent on gluconeogenesis while on ketogenic diets compared to non-ketogenic diets"
diff --git a/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm b/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm
index 5bb751a..63c7aeb 100755
--- a/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm
@@ -10,6 +10,7 @@ argumentAntagonisticPleiotropy =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "humans have more genetic adaptations to ancestral foods than novel foods"
diff --git a/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm b/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm
index c5b638a..0919b99 100755
--- a/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm
@@ -10,6 +10,7 @@ argumentCarbsObesity =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "carbs uniquely cause fat accumulation or obesity"
diff --git a/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm b/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm
index 724ebd9..91b17e2 100755
--- a/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm
@@ -10,6 +10,7 @@ argumentDietaryCholesterol =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "consuming high amounts of (x) increases LDL"
diff --git a/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm b/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm
index 612a32b..bd0d7f5 100755
--- a/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm
@@ -10,6 +10,7 @@ argumentFructoseNAFLD =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "experimental investigations into fructose overfeeding consistently fail to recreate a fatty liver phenotype in humans"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm b/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm
index d264074..ab870e6 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm
@@ -9,6 +9,7 @@ argumentHealthPromotingFoods =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "food is defined as material consisting essentially of protein, carbohydrate, and/or fat used in the body of an organism to sustain growth, repair, and vital processes and to furnish energy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm b/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm
index e6d8c08..0958831 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm
@@ -10,6 +10,7 @@ argumentHealthSeeker =
     , 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))"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) favours consuming ancestral foods to the exclusion of (y) because they value reducing disease risk"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm
index 37a76bf..725500f 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm
@@ -10,6 +10,7 @@ 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) causes atherosclerosis"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm
index f95b026..d279437 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm
@@ -9,6 +9,7 @@ argumentHealthyDairy =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) causes atherosclerosis"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm
index 7d7aac1..8c69629 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm
@@ -10,6 +10,7 @@ argumentHealthyFattyFish =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly healthy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm
index f4b0d57..8e2aa7d 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm
@@ -10,6 +10,7 @@ argumentHealthyFibre =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly healthy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm
index 95ae107..59b6dd9 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm
@@ -10,6 +10,7 @@ argumentHealthyFood =
     , 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~4Qwxzy)),(Qdpsl)|=(Ppld)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x,y,w)"
           , definiens = "(x) is healthy compared to (w) when in (y)"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm
index 11b6d06..4f75134 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm
@@ -10,6 +10,7 @@ argumentHealthyPlantFoods =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly healthy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm b/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm
index 3db0f10..d0cd1e2 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm
@@ -10,6 +10,7 @@ argumentHealthySeedOils =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly healthy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm b/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm
index 93d6579..9b6f149 100755
--- a/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm
@@ -10,6 +10,7 @@ argumentHealthySoy =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly healthy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm
index 84331f3..b5a5ff8 100755
--- a/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm
@@ -10,6 +10,7 @@ argumentMalondialdehyde =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) increases the risk of atherosclerosis"
diff --git a/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm b/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm
index bb71d0f..bbccebd 100755
--- a/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm
@@ -9,6 +9,7 @@ argumentOmega3Omega6Ratio =
     , propositionReductio = ""
     , propositionSummary = "More often than not, the associated risks of a high omega-6/omega-3 ratio are better explained by omega-3 alone. In multivariable analyses, the ratio looks like it matters, but in univariable anaylses, low omega-3 is almost always driving the risk via lowering the denominator."
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "increases or decreases in disease risk associated with a high or low omega-6/omega-3 ratio are better explained by changes in omega-3 alone"
diff --git a/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm b/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm
index a217b75..7f7c1b5 100755
--- a/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm
@@ -10,6 +10,7 @@ argumentPlantBasedCVDReversal =
     , propositionReductio = ""
     , propositionSummary = "To date, there is not a single case of supposed heart disease reversal from a plant-based diet that is actually compatible with  established definitions of heart disease reversal in the literature."
     , proofLink  = "https://www.umsu.de/trees/#(P~1~3Q~5~3R),(P),(~3Q)|=(~3R)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "there are established definitions for atherosclerosis reversal in the domain of cardiology"
diff --git a/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm b/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm
index 76accc2..01fd0c1 100755
--- a/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm
@@ -10,6 +10,7 @@ argumentPolyphenolReductio =
     , propositionReductio = "asdasd"
     , propositionSummary = "If one is committed to the notions that polyphenols in plants are bad for humans, and that grass-fed red meat is the healthiest available type of red meat, then they're pragmatically committed to being pro-GMO to lower the grass-derived polyphenol content of grass-fed beef."
     , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~1Qxy~5Rxy)),(Pp),(Qpg),(Rpg~5Spg),(Spg~5Wp)|=(Wp)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is harmful"
diff --git a/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm b/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm
index 9f60992..c255f9c 100755
--- a/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm
@@ -9,6 +9,7 @@ argumentSodiumCVD =
     , propositionReductio = ""
     , propositionSummary = "In all of the strongest analysis on the relationship between sodium intake and cardiovascular disease risk, there is a linear and proportional relationship. Particularly when the strongest measurement methods are used, such as multiple 24-hour urinary collections."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~1Q~5Rx)),(Ps),(Q)|=(Rs)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) consistently raises blood pressure in controlled studies"
diff --git a/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm b/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm
index 25966bf..bea4b25 100755
--- a/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm
@@ -10,6 +10,7 @@ argumentTMAOCausality =
     , propositionTitle = "TMAO is not likely to be causative of heart disease."
     , propositionSummary = "In the strongest research we have on the relationship between TMAO and heart disease risk, such as with Mendelian randomization and genome-wide associational studies, there is no persuasive causal link between TMAO in the blood and heart disease risk."
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~3Qt)|=(~3Pt)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is likely to be causative of heart diseas"
diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm
index 0f5628f..ad25696 100755
--- a/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm
@@ -10,6 +10,7 @@ argumentUnhealthyCoconutOil =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Qx~5~3Rx)),(Pc),(Qc)|=(~3Rc)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "a given (x) increases LDL-C at a similar rate to other saturated fat sources"
diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm
index 93d7b9f..6fd6a29 100755
--- a/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm
@@ -10,6 +10,7 @@ argumentUnhealthyProcessedMeat =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly unhealthy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm
index 057a455..233d86f 100755
--- a/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm
@@ -10,6 +10,7 @@ argumentUnhealthyRedMeat =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm)|=(Pm)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly unhealthy"
diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm
index 7da9fb3..58b11e7 100755
--- a/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm
+++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm
@@ -10,6 +10,7 @@ argumentUnhealthySaturatedFat =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is overwhelmingly unhealthy"
diff --git a/frontend/src/Debate/Arguments/Philosophy/Abortion.elm b/frontend/src/Debate/Arguments/Philosophy/Abortion.elm
index 24f1174..cf35a70 100755
--- a/frontend/src/Debate/Arguments/Philosophy/Abortion.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/Abortion.elm
@@ -10,6 +10,7 @@ argumentAbortion =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "one consents to becoming pregnant"
diff --git a/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm
index cc97194..03d9fb7 100755
--- a/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm
@@ -10,6 +10,7 @@ argumentAgnosticism =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x~6y(~3Pxy~5~3Qxy)),(~6x~6y(~3Qxy~5Rxy)),(~3Por)|=(Ror)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x,y)"
           , definiens = "(x) can unpack what evidence would lead them to change their doxastic attitude on (y)"
diff --git a/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm b/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm
index 16f4e39..02a6044 100755
--- a/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm
@@ -10,6 +10,7 @@ argumentAgriculturalPredation =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Px~4Qxyz~1(Rxyz~2Sxyz)~1Wxyz)),(Qahl),(Rahl~2Sahl),(Wahl)%7C=(Pa)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) counts as predation"
diff --git a/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm b/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm
index 08b92d9..ba24335 100755
--- a/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm
@@ -10,6 +10,7 @@ argumentAnimalRights =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) has moral worth"
diff --git a/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm b/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm
index 63c9070..b0838b5 100755
--- a/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm
@@ -10,6 +10,7 @@ argumentAntiRewilding =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5~3R),(~3R~5Sa)|=(Sa)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) has negative rights"
diff --git a/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm b/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm
index 05d7c78..6d1223c 100755
--- a/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm
@@ -10,6 +10,7 @@ argumentAntiVandalism =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(P~5Q),(P),(Q~5R)%7C=(R)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "zoos must spend extra money cleaning graffiti"
diff --git a/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm b/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm
index 65850be..ee06fc2 100755
--- a/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm
@@ -10,6 +10,7 @@ argumentColonizingNature =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5W),(P),(~3Q),(~3R),(~3S)%7C=(W)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "the natural world contains intolerable rights violations"
diff --git a/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm b/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm
index da736eb..62d5b52 100755
--- a/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm
@@ -10,6 +10,7 @@ argumentCropDeaths =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "it is known that cropland leads to more animal death than wildland"
diff --git a/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm b/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm
index ff2614c..7b26c66 100755
--- a/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm
@@ -10,6 +10,7 @@ argumentDairyCowRape =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) qualifies as rape"
diff --git a/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm b/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm
index 779e7a8..7f371bb 100755
--- a/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm
@@ -5,11 +5,39 @@ import Debate.Types exposing (..)
 
 argumentEfilismPatrolSquad : Argument
 argumentEfilismPatrolSquad =
+    let
+        argumentNotation : ArgumentStructure
+        argumentNotation =
+            { notationP1 = "P→Q"
+            , notationP2 = "¬Q"
+            , notationP3 = "¬P∧R→¬S"
+            , notationP4 = "R"
+            , notationP5 = "¬S→W"
+            , notationP6 = ""
+            , notationP7 = ""
+            , notationP8 = ""
+            , notationP9 = ""
+            , notationP10 = ""
+            , notationC = "W"
+            }
+    in
     { argumentTitle = "The Eternal Intergalactic Sentience Patrol Squad"
     , propositionTitle = "Efilists are committed to pragmatic natalism."
     , propositionReductio = "Efilists fundamentally believe that sentient life is inherently characterized by suffering and that the most ethical action is to prevent the creation of any new sentient beings, ultimately aiming to completely eliminate all conscious life in the universe to end suffering permanently."
     , propositionSummary = "If efilists follow their own logic to its ultimate conclusion, they would paradoxically be committed to a form of pragmatic natalism - the very opposite of their core philosophical stance."
     , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q),(~3P~1R~5~3S),(R),(~3S~5W)|=(W)"
+    , proofText =
+        argumentNotation.notationP1
+            ++ ", "
+            ++ argumentNotation.notationP2
+            ++ ", "
+            ++ argumentNotation.notationP3
+            ++ ", "
+            ++ argumentNotation.notationP4
+            ++ ", "
+            ++ argumentNotation.notationP5
+            ++ ", ∴ "
+            ++ argumentNotation.notationC
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "humans abstaining from procreation maximally reduces rights violations"
@@ -30,23 +58,23 @@ argumentEfilismPatrolSquad =
     , argumentFormalization =
         [ { premises =
                 [ { premise = "If humans abstaining from procreation maximally reduces rights violations, then humans have sterilized all sentient life in the universe."
-                  , notation = "(P→Q)"
+                  , notation = argumentNotation.notationP1
                   }
                 , { premise = "Humans have not sterilized all sentient life in the universe."
-                  , notation = "(¬Q)"
+                  , notation = argumentNotation.notationP2
                   }
                 , { premise = "If humans abstaining from procreation does not maximally reduce rights violations and many more generations are required to sterilize all sentient life in the universe, then efilists should not abstain from procreation until all sentient life in the universe is sterilized."
-                  , notation = "(¬P∧R→¬S)"
+                  , notation = argumentNotation.notationP3
                   }
                 , { premise = "Many more generations are required to sterilize all sentient life in the universe."
-                  , notation = "(R)"
+                  , notation = argumentNotation.notationP4
                   }
                 , { premise = "If efilists should not abstain from procreation until all sentient life in the universe is sterilized, then efilists are committed to pragmatic natalism."
-                  , notation = "(¬S→W)"
+                  , notation = argumentNotation.notationP5
                   }
                 ]
           , conclusion = "Therefore, efilists are committed to pragmatic natalism."
-          , conclusionNotation = "(∴W)"
+          , conclusionNotation = argumentNotation.notationC
           }
         ]
     }
diff --git a/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm b/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm
index f13650b..c591fc6 100755
--- a/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm
@@ -10,6 +10,7 @@ argumentEthicalSlurs =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~6x(~3Px~5Rx)),(~3Pr),(~3Qr~1Rr~5Sr),(Sr~5Wr)|=(Wr)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x)'s negative connotations have been neutralised"
diff --git a/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm b/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm
index bd65984..599a0cd 100755
--- a/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm
@@ -10,6 +10,7 @@ argumentFineTuning =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pg),(Qg~5R)%7C=(R)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is finely tuned"
diff --git a/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm b/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm
index f1a5866..0ebaa31 100755
--- a/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm
@@ -10,6 +10,7 @@ argumentImmortalityReductio =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Hx~5~3Rxy)),(Hs)%7C=(~3Rsd)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "humans undergo (x)"
diff --git a/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm b/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm
index d6e8b0c..e931a11 100755
--- a/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm
@@ -10,6 +10,7 @@ argumentOddOrderPredators =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5R)%7C=(R)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) has negative rights"
diff --git a/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm b/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm
index 41a2bd2..0705023 100755
--- a/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm
@@ -10,6 +10,7 @@ argumentOstroveganism =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) counts as a brain"
diff --git a/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm b/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm
index 6602eb4..4650127 100755
--- a/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm
@@ -10,6 +10,7 @@ argumentPollinationReductio =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(Qb),(~3Pb~5~6y(~3Ry))|=(~3Ra)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is vegan"
diff --git a/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm
index 6f6a4fc..7486347 100755
--- a/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm
@@ -10,6 +10,7 @@ argumentScratcherPioneers =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~2Rx~2Sx)),(Qt),(Rt),(St)%7C=(Pt)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is a scratcher"
diff --git a/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm b/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm
index 24f6fe3..51c67bc 100755
--- a/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm
@@ -10,6 +10,7 @@ argumentTransPeople =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Rx~1Wx)),(~6x(Qx~4Sx~1Wx)),(Ra~1Wa),(Sg~1Wg)|=(Pa~1Qg)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "Male"
           , definiens = "the cluster of traits that associate with small, but not large, gametes."
diff --git a/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm b/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm
index be3bf9e..6d4d068 100755
--- a/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm
+++ b/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm
@@ -10,6 +10,7 @@ argumentVeganSocietyReductio =
     , 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)))"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "it is vegan to do (x)"
diff --git a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm
index 8d88536..5716127 100755
--- a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm
+++ b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm
@@ -10,6 +10,7 @@ argumentBoobyTrapPagers =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4(Qx~1Rx~1Sx))),(Qp),(Rp),(~3Sp)|=(~3Pp)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) is a booby-trap"
diff --git a/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm b/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm
index ed579c9..666c9de 100755
--- a/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm
+++ b/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm
@@ -10,6 +10,7 @@ argumentEpidemiologyCausality =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pe)|=(Qe)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) consistently identifies associations that are later confirmed by randomized controlled trials"
diff --git a/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm
index 486adaf..6131cfa 100755
--- a/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm
+++ b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm
@@ -10,6 +10,7 @@ argumentFlatEarthDebunk =
     , 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)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P(x,y)"
           , definiens = "(x) is perceived as rotating counter-clockwise from point (y)"
diff --git a/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm
index df1bfa3..57a72e6 100755
--- a/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm
+++ b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm
@@ -10,6 +10,7 @@ argumentTruncatedMeta =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P)%7C=(Q)"
+    , proofText = ""
     , definitionTable =
         [ { definiendum = "P"
           , definiens = "underpowered studies provide weaker causal estimates than adequately powered studies"
diff --git a/frontend/src/Debate/Arguments/Template.elm b/frontend/src/Debate/Arguments/Template.elm
index 64ea915..f8e8a81 100755
--- a/frontend/src/Debate/Arguments/Template.elm
+++ b/frontend/src/Debate/Arguments/Template.elm
@@ -10,6 +10,7 @@ argument =
     , propositionReductio = ""
     , propositionSummary = "Summary"
     , proofLink  = ""
+    , proofText = ""
     , definitionTable =
         [ { definiendum = ""
           , definiens = ""
diff --git a/frontend/src/Debate/Helpers.elm b/frontend/src/Debate/Helpers.elm
index 3d0a687..64ce9a4 100755
--- a/frontend/src/Debate/Helpers.elm
+++ b/frontend/src/Debate/Helpers.elm
@@ -9,7 +9,7 @@ import Element.Background as B exposing (..)
 import Element.Border as D exposing (..)
 import Element.Events as V exposing (..)
 import Element.Font as F exposing (..)
-import Html
+import Html exposing (div, hr)
 import Html.Attributes as H exposing (style, title, wrap)
 import Layouts
 import Page exposing (Page)
@@ -30,7 +30,7 @@ argumentMaker argument =
             in
             List.indexedMap
                 (\index argumentEntry ->
-                    column (paragraphFormat ++ [ spacing 3, paddingEach { top = 30, right = 0, bottom = 0, left = 0 } ])
+                    column (paragraphFormat ++ [ spacing 3, paddingEach { top = 0, right = 0, bottom = 0, left = 0 }, E.width <| px 550, centerX ])
                         (List.indexedMap
                             (\premiseIndex premiseWithNotation ->
                                 column argumentFormatting
@@ -40,7 +40,7 @@ argumentMaker argument =
                                             |> el [ F.color colourTheme.nonHighlightedText, F.regular, paddingEach { top = 0, right = 0, bottom = 0, left = 5 } ]
                                         ]
                                     , paragraph argumentFormatting
-                                        [ text premiseWithNotation.notation
+                                        [ text ("(" ++ premiseWithNotation.notation ++ ")")
                                             |> el [ F.color colourTheme.highlightText, F.bold ]
                                         ]
                                     ]
@@ -53,7 +53,7 @@ argumentMaker argument =
                                             |> el [ F.color colourTheme.nonHighlightedText, F.regular, paddingEach { top = 0, right = 0, bottom = 0, left = 5 } ]
                                         ]
                                     , paragraph argumentFormatting
-                                        [ text argumentEntry.conclusionNotation
+                                        [ text ("(∴" ++ argumentEntry.conclusionNotation ++ ")")
                                             |> el [ F.color colourTheme.highlightText, F.bold ]
                                         ]
                                     ]
@@ -84,12 +84,26 @@ argumentMaker argument =
                         ]
     in
     column
-        [ paragraphWidth, E.alignLeft, spacing 8, paddingEach { top = 0, right = 0, bottom = 60, left = 0 } ]
-        [ paragraph (paragraphBoldFormat ++ [ F.size 20 ])
-            [ newTabLink []
-                { url = argument.proofLink
-                , label = transitionNonHighlightedLinkHover <| text argument.argumentTitle
-                }
+        [ paragraphWidth, E.alignLeft, spacing 8, paddingEach { top = 0, right = 0, bottom = 0, left = 0 } ]
+        [ paragraph
+            (paragraphBoldFormat
+                ++ [ F.size 20
+                   , F.color colourTheme.backgroundColour
+                   , B.color colourTheme.highlightText
+                   , paddingEach { top = 6, bottom = 2, left = 12, right = 12 }
+                   , D.width 1
+                   , D.rounded 20
+                   , alignBottom
+                   , F.center
+                   , transitionStyle
+                   , mouseOver
+                        [ B.color colourTheme.highlightTextHover
+                        , F.color colourTheme.nonHighlightedText
+                        , D.color colourTheme.highlightTextHover
+                        ]
+                   ]
+            )
+            [ text argument.argumentTitle
 
             --create expandable text for this in the future
             ]
@@ -115,11 +129,11 @@ argumentMaker argument =
                 [ E.width fill, E.alignLeft ]
                 [ paragraph (paragraphBoldFormat ++ [ F.size 18 ]) [ text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ] ] ]
             ]
-        , wrappedRow (paragraphBoldFormat ++ [ E.alignLeft, E.width fill ])
+        , wrappedRow (paragraphBoldFormat ++ [ E.alignLeft, E.width fill, paddingEach { top = 10, right = 0, bottom = 10, left = 0 } ])
             [ E.table
                 [ spacing 0
                 , D.rounded 10
-                , D.width 1
+                , D.width 2
                 , D.color colourTheme.nonHighlightedDarkText
                 , clip
                 ]
@@ -176,5 +190,69 @@ argumentMaker argument =
                     ]
                 }
             ]
-        , column [ centerX ] argRows
+        , column [ centerX ]
+            (argRows
+                ++ [ column [ paragraphWidth, paddingEach { top = 5, right = 0, bottom = 0, left = 0 } ]
+                        [ row [ centerX, E.width fill ]
+                            [ column [ E.alignLeft ]
+                                [ newTabLink
+                                    (paragraphBoldFormat
+                                        ++ [ F.size 18
+                                           , F.color colourTheme.backgroundColour
+                                           , B.color colourTheme.highlightText
+                                           , paddingEach { top = 6, bottom = 2, left = 12, right = 12 }
+                                           , D.width 1
+                                           , D.rounded 20
+                                           , E.width <| px 120
+                                           , F.center
+                                           , E.alignRight
+                                           , transitionStyle
+                                           , mouseOver
+                                                [ B.color colourTheme.highlightTextHover
+                                                , F.color colourTheme.nonHighlightedText
+                                                , D.color colourTheme.highlightTextHover
+                                                ]
+                                           ]
+                                    )
+                                    { url = argument.proofLink
+                                    , label = text "Proof Tree"
+                                    }
+                                ]
+                            , column [ E.alignRight ]
+                                [ newTabLink
+                                    (paragraphBoldFormat
+                                        ++ [ F.size 18
+                                           , F.color colourTheme.backgroundColour
+                                           , B.color colourTheme.highlightText
+                                           , paddingEach { top = 6, bottom = 2, left = 12, right = 12 }
+                                           , D.width 1
+                                           , D.rounded 20
+                                           , E.width <| px 120
+                                           , F.center
+                                           , transitionStyle
+                                           , mouseOver
+                                                [ B.color colourTheme.highlightTextHover
+                                                , F.color colourTheme.nonHighlightedText
+                                                , D.color colourTheme.highlightTextHover
+                                                ]
+                                           ]
+                                    )
+                                    { url = argument.proofLink
+                                    , label = text "Back to Top"
+                                    }
+                                ]
+                            ], basicDivider
+                        ]
+                   ]
+            )
         ]
+
+
+basicDivider =
+    el
+        [ E.width fill
+        , padding 20
+        , D.widthEach { bottom = 1, top = 0, left = 0, right = 0 }
+        , D.color (rgb255 200 200 200)
+        ]
+        none
diff --git a/frontend/src/Debate/Types.elm b/frontend/src/Debate/Types.elm
index 7da66c5..0abd40d 100755
--- a/frontend/src/Debate/Types.elm
+++ b/frontend/src/Debate/Types.elm
@@ -13,6 +13,7 @@ type alias Argument =
     , propositionSummary : String
     , propositionReductio : String
     , proofLink : String
+    , proofText : String
     , definitionTable : List Definition
     , argumentFormalization : List ArgumentEntry
     }
@@ -35,3 +36,18 @@ type alias Definition =
     { definiendum : String
     , definiens : String
     }
+
+
+type alias ArgumentStructure =
+    { notationP1 : String
+    , notationP2 : String
+    , notationP3 : String
+    , notationP4 : String
+    , notationP5 : String
+    , notationP6 : String
+    , notationP7 : String
+    , notationP8 : String
+    , notationP9 : String
+    , notationP10 : String
+    , notationC : String
+    }
diff --git a/frontend/src/Pages/Arguments.elm b/frontend/src/Pages/Arguments.elm
index 3c0385a..1da313d 100755
--- a/frontend/src/Pages/Arguments.elm
+++ b/frontend/src/Pages/Arguments.elm
@@ -148,16 +148,16 @@ debateList =
         List.map
             (\category ->
                 column [ spacing 20 ]
-                    [ el (nonHighlightedTitleFormat ++ [ centerX ]) (text category.categoryName)
+                    [ el (nonHighlightedTitleFormat ++ [ centerX, F.letterSpacing 2, F.size 30]) (text category.categoryName)
                     , column [] (List.map argumentMaker category.arguments)
                     ]
             )
-            [ { categoryName = "Medicine"
+            [ { categoryName = "MEDICINE"
               , arguments =
                     [ argumentApoBCVD
                     ]
               }
-            , { categoryName = "Nutrition"
+            , { categoryName = "NUTRITION"
               , arguments =
                     [ argumentAnabolicKeto
                     , argumentAntagonisticPleiotropy
@@ -186,7 +186,7 @@ debateList =
                     , argumentUnhealthySaturatedFat
                     ]
               }
-            , { categoryName = "Philosophy"
+            , { categoryName = "PHILOSOPHY"
               , arguments =
                     [ argumentAbortion
                     , argumentAgnosticism
@@ -209,12 +209,12 @@ debateList =
                     , argumentVeganSocietyReductio
                     ]
               }
-            , { categoryName = "Politics"
+            , { categoryName = "POLITICS"
               , arguments =
                     [ argumentBoobyTrapPagers
                     ]
               }
-            , { categoryName = "Science"
+            , { categoryName = "SCIENCE"
               , arguments =
                     [ argumentEpidemiologyCausality
                     , argumentFlatEarthDebunk
diff --git a/frontend/static/cucks/sebastianramirez/sebastianramirez.png b/frontend/static/cucks/sebastianramirez/sebastianramirez.png
old mode 100644
new mode 100755