introduce all contracts