Re: caring harder requires solving once for the most demanding threat model, to the benefit of all lesser models