Vi ha således trott,