Mike: There are libraries, but are there any truthbraries? Eric: There is a Lie Algebra, but is there any Truth Algebra? Mike: Yes, Boolean Algebra.