Rules and Redundancy for

ProteX