Moving to name inference