Using coffee examples to verify promised keys