so this was actual a non obvious implementation detail that I think is quite important to understand.