  Several of these topics overlap with concerns of the qualitative physics and qualitative reasoning community.  Although it can be hard to tell where common sense ends and physics begins, the formalization of common sense reasoning can be seen as a more general formalization project that can draw on a tradition in qualitative physics that has gone through many years of development and by now is fairly   mature.[39]