code contracts again