signature { automatic } theory
{
A(N0 : true)
}