If load = 1 does that mean that exists = 0 by default? Or I don’t even need to consider the case where load = 1?
If \mathit{load} = 1, the functionality of \mathit{exists} is undefined, much like the output of a priority encoder when \mathit{valid} = 0.