commutator stuff for Thompson's group F.