Example Verificated