A library of common logic.