signature { automatic } theory
{
A D N1
}