forget2()
“Forget” a term using existentials. This is existential introduction. forget easily follows.