1.5.4

Not equal to truth term.
1.5.5

Not equal to truth term.
1.5.6

Not equal to truth term.