Formula writing and naming