(Note to self -- we should probably add unique codes to the error message to immediately identify which case it is)