modal inference
modal inference