Daniel Kokotajlo comments on Can submarines swim?