Man hade kanske kommit att inse,