computational rules for pi1