Richard Zach

Just tested; yes it does. Thanks!

BTW the `\todostyle` command silently redefines styles already existing, so if you want to you can settle on a default `done` style (e.g., just greying it out) in the package...

Sent pull request for the first idea (user defined styles)

Also for the flexible formatting

Also, only: see https://newprairiepress.org/biyclc/vol6/iss1/14/

Do you want to get rid of the LEM *rule* in favor of an LEM *axiom*, or have both? It'll be hard to teach the proof checker to have ambiguous...

Reported to BookML: https://github.com/vlmantova/bookml/issues/8

@catrincm that is an excellent point. What do you call Modus ponens? Modus tollens? Anything else that needs changing?

No, sorry