PMHN-BC formal test