formalization

The dictionary is not reachable right now — try again in a minute.