Since Kemeny and Oppenheim take the theoretical terms as predicates, their bridge laws are universally closed biconditionals father than identities.ing is worth the loss of systematization from adding bridge laws.