logical_or inclusion addes to redheff