CS in Algebra: Booleans