FORMAL

This collection is empty.