1.5.9

Equal to truth term.