avances assert/retract
assert/retract