We can obtain as long as at least one of and is true. This gives us the introduction () rules: ?