aa-trees props comments