is
and
thus