more work to get Malama's Mishra/Neuman implementation functional