adding proof for finite boards, and images from simulations