102_conway: working on verification