4.4.2　Algebraic Laws for the Silent Step with Static Localities