Tools used in proof of pseudolocality