Equivalency Rules and Pre Requisite Rules