removed pseudocode stuff
removed clientA, clientB counter example cause I can't find a decent one