Rewrite #7: Boolean Logic