case study on existential theory application