diff --git a/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v b/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
index fb7e777e87409836d2e01111551e21e2689a4ae6..ae1cefaf8348e8a000416d087013a51a9affe287 100644
--- a/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
+++ b/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
@@ -1,2 +1,3 @@
 Require Pactole.CaseStudies.Gathering.InR2.Algorithm_withLight.
 Print Assumptions InR2.Algorithm_withLight.Gathering_in_R2.
+Print Assumptions InR2.Algorithm_withLight.unfair_Gathering_in_R2.