Desde que nasceu, o haver não tirava os olhos da expressão haja vista (= veja-se). Também ele queria porque queria andar em duplinha. Como? Tornou-se auxiliar. Colado ao particípio de outro verbo, forma tempo composto: que eu haja visto, ele haja visto, nós hajamos visto, eles hajam visto.