SMS: Cylendric algebra;