Quinn comments on Speedrunning 4 mistakes you make when your alignment strategy is based on formal proof