a bi-conditional statement refers to something that is proven true. Whether both parts have the same truth values.