Mark some tasks as done.
Fix case where duplicate irrefutable rules are auto-generated.
Add human-readable error condition for !!.