Added aaai formatting styles