((cat prox hat))