Formalized condensed force