Dot antages såsom säkert,