assume.lits