@mathshistory you had an extra character left there. "when" could've been "whence" and then it would've been grammatically perfect