Equivalent Statement Definition and E...