Integration tests, test to precondition.