Moved the HML section into the relating EL to other logics section