1.5.7

Equal to truth terms.
1.5.8

Equal to truth terms.