#backwards e #reversed e #exists symbol #existential quantifier #logic symbol