3.4 Case-checking within MP