Category:Automated reasoning

Now I'm like, well duh! Truly thakfnul for your help.