[SR-Users] functions for modifying pAsserted