attempt at integrating Chandy-Misra-Haas