more separation between logical rules