Nora_Ammann comments on In response to critiques of Guaranteed Safe AI