 As with KQML, only T and 5A are needed for A; 4A and BA are derivable from them. And, similar to what was observed with Q, it is easy to show that, if one extends A with the thesis of necessitism by replacing E!A with its necessitation,