Reworked section on dialectic