New: contracts2