simple instance of a privacy contract language