cut over to next_proposition using resolved_count
-rw-r--r-- .gitignore
drwxr-xr-x bin
drwxr-xr-x fragment.output
drwxr-xr-x fragments
drwxr-xr-x lib
-rw-r--r-- need
drwxr-xr-x t