add some assumptions.