Understanding `infer` properly

Original message was deleted