Checking assumptions