On Closure of the IFR Class Under Formation of Coherent Systems | Synapse