Analogs of the van der Waerden and Tverberg conjectures for haffnians