hogy létezett = ha létezett