examples are verified