Proving Too Much — AI Alignment Forum