In [1]:
import logic

In [ ]: