more code contracts