3 formals

Formals