can this be called `assertConsistent` makes it clearer that it is used for assertions