Text this: On ideals of implicative semigroups