corrected the notation for weak and hml( ~~, and |= )