Recursive connective rules