Equal 4 ¬¬