assumption tests