BUT WHAT IS formalize, REALLY?