Deriving

Do we need to derive formulas or identities?