REVEALING PRT555: A GUIDE TO THE NEXT PHASE OF AUTOMATED PACTS