4-authored HRM accepted JF paper --- missing equations