Quinn comments on Beliefs about formal methods and AI safety