logic.py v0.2