Det visade sig sålunda,