Text this: Positive Implicative Ideals in QI-Algebras