"some places" would mean explicit use of `true` and `false` in the `boolalg` module. In general, having our own wrapper around `True` and `False` should be an implementation detail, but `boolalg` is where that implementation takes place, so in there it makes sense to make explicit use of `true` and `false`, at least to me.