A book of general purpose meta lemmas.
Note that it may be a good idea to load this book last, so that the lemmas in this book will take precedence over all others.
