Every either/or statement is automatically haqiqiyyah.