SMS dit: Boolean algebra