Thanks, @domenic. Nothing to do here except capture our reasoning in comments.