not_eq_beq_false and beq_false_not_eq are solved.
Solved.