Logging
Sorting out non Minimal UCCs