An application of CAT

Mirna Džamonja, Jean Larson

We comment on a question of Justin Moore on colourings of pairs of nodes in an Aronszajn tree and solve an instance of it.