6.5.2　Algebraic Laws for the Silent Step of Hybrid APTC with Localities