Logical Include Rule