mmn

conjectures