Certificate Borders Formal