Definition of "formulas"

formulas