for a being object holds 0 |-> a = {} ;