Source: https://axiom.utm.utoronto.ca/~207/20f/slides/3/instance-static.pdf