graph = dot`digraph "${id}" {
rankdir = ${orientation};
Taylor [label="Taylor's Theorem"]
least_upper_bound [label="least upper bound\nproperty"]
real_numbers [label="def: real number" shape=box]
continuous [label="def: continuous" shape=box]
differentiable [label="def: differentiable" shape=box]
integral [label="def: integral" shape=box]
properties_of_integral [label="properties of\nthe integral"]
const_fn [label="constant function"]
FTC -> "Taylor"
"properties_of_integral" -> "Taylor"
"properties_of_integral" -> "FTC"
"FTC1" -> "FTC"
"const_fn" -> "FTC"
"differentiable" -> "FTC1"
"properties_of_integral" -> "FTC1"
"continuous" -> "FTC1"
"integral" -> "properties_of_integral"
"continuous" -> "properties_of_integral"
"least_upper_bound" -> "properties_of_integral"
"real_numbers" -> "integral"
"real_numbers" -> "continuous"
"real_numbers" -> "least_upper_bound"
"MVT" -> "const_fn"
"real_numbers" -> "differentiable"
"continuous" -> "differentiable"
"EVT" -> "MVT"
"differentiable" -> "MVT"
"continuous" -> "EVT"
"least_upper_bound" -> "EVT"
}`