3.4.2　Algebraic Laws for the Silent Step