Formulae pro (9/26)

Formulae pro