ICP contains first implementation, check for correctness