Assertion and stable value from the beginning

In reply to Jarno:

Can you please elaborate on the question?