added contracts.h