Logic priorities