eixst → exist