Collection: Formal checks