Khodam: The Contract Demo