Fix
P-Invariante + Reversibel
Snapshot, almost done