non-total assumptions