Text this: Hilbert Implication Algebra and Some Properties