A loop still inside one well was entered as a voyage. The well returns what the loop lifted. Voyage, computed in this cold, means a mass that acquires another well. No term is shared. The empty overlap stands.