Comparative and proof-oriented discussions — Discrete Structures | Lykke