David Jilk comments on Systems that cannot be unsafe cannot be safe