assumption and test