4.15 Deeph Formal