Sources of tetramuon production by neutrinos