formalizer
for.mal.iz.er

n
= formaliser.
Topo ↑