let bool3_of_bool b = if b then True else False