If one infers that there is destructive interference at path 4, then only one mathematical possibility for the output at path 5 and 6 is consistent. There is no which-way information. Branch vectors in blue come from path 1, while branch vectors in red come from path 2.
