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