checking assumptions