Gravar-mail: Software agents and contracts