[math-fun] Pfaffians