SMS: Recent progress in the Boolean domain /