brown-fee-0.5: partial implementation with M+M