correction ¬¬