Follow up on the discussion about points 4 and 5 of https://github.com/alexmojaki/executing/pull/31#discussion_r939658495