added example for general verification