Contract agreements via logic