Quantifying Logical Consistency in Transformers via Query-Key Alignment