Title: Logic and algebra 2