miv({•,•})