na-efu); nke z nke elu, na assumtion ma b subsumption (prop obere.)