This scares me because this looks like it would be a pretty common edge case/ something you would easily think of. How could a bug like that in such a high stakes scenario not be tested/be missed??