issue #44: adding basic contracts