and thus