Jaan Tallinn to Technical Alignment Impossibility Proofs