:Resolution pb pseudo