One comment on “Bobby’s extension