signature { automatic } theory
{
A B N1
}