the formal first update