deletions | additions       diff --git a/Theorem_maximum_soci.tex b/Theorem_maximum_soci.tex  index cb47f84..c720cee 100644  --- a/Theorem_maximum_soci.tex  +++ b/Theorem_maximum_soci.tex 
...
Theorem: maximum social welfare = optimal MAPF.