그런 엄밀함들은 상위 개념으로 다 설명가능함?