Created the ConcreteBooleans library.