SMS: Abstract algebra.