More contract tests.