print (via theory_one1)

print (via theory_one1)