The very basics of formulas