2 ms·

you mean the opposite way? article gives proof why 4 implies 7 (thus magma with eq4 always agrees with eq7)