Einstein locality principle