@yuhunglin I waffled on that choice, but .first works nicely and is more readable.