Title: Logic of algebra