it is thus