boolean ring ((M)