Filling whole pages of your notebook with formulae doesn't make you a
mathematician. Drawing diagrams and gazing at them does:) The last
time I drew a Hasse diagram was, well, fifteen years ago, I guess.
Today I notices that counterexamples that I found included a
forbidden configuration of modular law. By the way, it's pentagonal.
Magic happens again:D
