mi Inf omne ,mi