There are 8 maps with domain Ordered trees in the database:
(and possibly some waiting for verification)