Title: Logic and algebra 1