implemented verification and tested - now experiment