mu recursive function