# TODO:
-  Make disproving mode
-  Make no print mode (for speed, implement after disproving mode)