 M constraint.go
