"""Contract tests."""