the question of write subsumption can be considered a contradiction between the LR and the instruction shall retire unless it passes memory permission checks, but it shall come forth to