update Bullandcow.v