Slide "References: Mind your types!"