102_conway: refactored to make more ammenable to verification.