Accidentally submitted wrong equality section. This is the completed commit