To zajęcie zajęło kilka miesięcy. Co mnie bardzo cieszy, to fakt, że OSec podszedł do Certora w zupełnie inny sposób, a mimo to udowodnił te same właściwości. (Certora udowodnił wewnętrzną logikę, OSec udowodnił na poziomie obsługi) Przyjemnością było pracować z @NotDeGhost