Det antagliga är , som sagdt,