Formalise
Here you find a video where we explain what fromalizing is and you to
formalise
.