The existing procedure to walk the tree of any new tips and nuke any tips found would lead to not trusting the tip when it's passed on for the case:
Where user1 has B to start and user2 has E, if user1 trusts the signature on D but not E, user1 would stay at B.
The existing procedure to walk the tree of any new tips and nuke any tips found would lead to not trusting the tip when it's passed on for the case:
Where
user1hasBto start anduser2hasE, ifuser1trusts the signature onDbut notE, user1 would stay at B.