diff --git a/anno3/vpc/consegne/3/analisi.org b/anno3/vpc/consegne/3/analisi.org
index 5e7e8b8..768d0fa 100644
--- a/anno3/vpc/consegne/3/analisi.org
+++ b/anno3/vpc/consegne/3/analisi.org
@@ -937,3 +937,10 @@ NuSMV non possiamo rispettare il requisito di fairness.
 | Mutua Esclusione    | true  | true     |
 | Assenza di deadlock | true  | false    |
 | No Starvation       | true  | false    |
+
+* Confronto 3.2 e 3.6
+Precedentemente abbiamo modellato usando l'algebra dei processi
+l'algoritmo 3.2 e l'algoritmo 3.6.
+Entrambi hanno le seguenti azioni:
+| S = {localₚ, criticalₚ, local_{q}, critical_{q}} ∪ {τ}
+
diff --git a/anno3/vpc/consegne/3/analisi.pdf b/anno3/vpc/consegne/3/analisi.pdf
index ada78a9..a11b253 100644
Binary files a/anno3/vpc/consegne/3/analisi.pdf and b/anno3/vpc/consegne/3/analisi.pdf differ
diff --git a/anno3/vpc/consegne/3/derivation_3.2.jpg b/anno3/vpc/consegne/3/derivation_3.2.jpg
index 9034b03..af266dd 100644
Binary files a/anno3/vpc/consegne/3/derivation_3.2.jpg and b/anno3/vpc/consegne/3/derivation_3.2.jpg differ
diff --git a/anno3/vpc/consegne/3/derivation_3.6.jpg b/anno3/vpc/consegne/3/derivation_3.6.jpg
index 094748a..ac2e85d 100644
Binary files a/anno3/vpc/consegne/3/derivation_3.6.jpg and b/anno3/vpc/consegne/3/derivation_3.6.jpg differ
diff --git a/anno3/vpc/consegne/conv/conv.py b/anno3/vpc/consegne/conv/conv.py
index 44134bf..a4d3e74 100644
--- a/anno3/vpc/consegne/conv/conv.py
+++ b/anno3/vpc/consegne/conv/conv.py
@@ -4,7 +4,7 @@ from sys import argv
 
 allsymbols = json.load(open('/home/user/UNITO/anno3/vpc/consegne/conv/unicode-latex.json'))
     
-mysymbols = ['≡', '≠', '≼', '→', '←', '⊀', '⋠', '≺', '∀',  'ε', '₀', '₂', '₁', '₃', '₄', '₅', 'ₐ', 'ₖ', 'ᵥ', 'ₘ', 'ₙ', 'ᵢ', 'ⁱ', '⋮', 'ₛ', 'ₜ', '≃', '⇔', '∧', '∅', 'ℕ', 'ⱼ', 'ʲ', '⊥', 'π', 'α', 'β', '∞', 'σ', '≤', '⊈', '∧', '∨', '∃', '⇒', '∩', '∉', '⋃', 'ᵏ', 'ₗ', 'ˡ', 'ₒ', 'ᵣ', 'ᴵ', '≈', '⊆', '↦', '∪', '⊂', '℘', 'ᶜ', '⁺', 'ⁿ', 'Σ', '⁻', '∑', 'ₚ' ]
+mysymbols = ['≡', '≠', '≼', '→', '←', '⊀', '⋠', '≺', '∀',  'ε', '₀', '₂', '₁', '₃', '₄', '₅', 'ₐ', 'ₖ', 'ᵥ', 'ₘ', 'ₙ', 'ᵢ', 'ⁱ', '⋮', 'ₛ', 'ₜ', '≃', '⇔', '∧', '∅', 'ℕ', 'ⱼ', 'ʲ', '⊥', 'π', 'α', 'β', '∞', 'σ', '≤', '⊈', '∧', '∨', '∃', '⇒', '∩', '∉', '⋃', 'ᵏ', 'ₗ', 'ˡ', 'ₒ', 'ᵣ', 'ᴵ', '≈', '⊆', '↦', '∪', '⊂', '℘', 'ᶜ', '⁺', 'ⁿ', 'Σ', '⁻', '∑', 'ₚ', 'τ' ]
 extrasymbols = {'∈': '\in',
                 '〚': '\llbracket',
                 '〛': r'\rrbracket',