wrote some contract tests