Statically Determinate Formula