SMS: Boolean systems.