Beginning of preformula