Universal and Boolean Algebra