Report question

Question: Existential Quantification over Values