Did you know ... Search Documentation:
Predicate sha_new_ctx/2