Her er den

Dette er skabelonen til exists variablen.