Mnehmos/BHFormalization contributors