Can you change this to \`\`trace(AA') = 1\`\` so it renders beautifully?