boolean.py
colomoto_jupyter
