added exists types