Update GOL.v