Some Logic Changes