6           <@> list sK ->7             <<< And yet, there it is.