proximity function and etc
hogg dont type latex