B

@minuswhale

: Delphinapterus leucas formulating new conjectures and establishing their truth by rigorous deduction from appropriately chosen axioms and definitions.