Ricardian Contract.. is a contract that is understandable by humans and easy enough for a computer to understand the terms laid out. Hmmm.. interesting..