And just a reminder (although clearly not the case in this instance, 'cos TCAS clearly worked and the military aircraft had serviceable transponders) you can't be too reliant on TCAS ....not all aircraft are transponder-equipped, not all transponders are functioning, not all transponders are accurate and not all pilots turn them on. Australian ATC sees many aircraft each day where pilots fail to turn the transponder on after take-off, then there are the VCA's by non-transponder equipped aircraft, then there's the unserviceable transponders enroute through poor or no maintenance, unreliability or electrical failures. And then there's all the bulldust Class G in Australia where you aren't required to have transponder at all. Hopefully, over 90% of all aircraft in proximity to passenger aircraft are transponder-equipped but they don't all function all of the time.