Grammar changes from Christoffer.
TODO: Remove use of Existence operator (?)