20 seconds "to make sure the Lavender-marked target is male". And then "for every junior Hamas operative that Lavender marked, it was permissible to kill up to 15 or 20 civilians".