stequiv_update.
stequiv_aeval and stequiv_beval.
More clearly steps.