MITRE 4039b)