Tag derivation of gravitational formula