Interesting! Would've loved to see more frontend proofs, for example you have proofs about behavior but none on layout or design.