Update bool.v