Dopo p => t1, ASSOCIATED(p) =  T Dopo q => t1, ASSOCIATED(q) =  T ASSOCIATED(p, q) =  T ma ASSOCIATED(p, t2) =  F Dopo NULLIFY(p), ASSOCIATED(p) =  F