add contracts.h