Complex_equality loading ...