Do we need to derive formulas or identities?
Nope!