I'd be suspicious of someone taking a stab at running ownership static verification before enabling basic sanity checks like those presented here. So. Maybe it

I'd be suspicious of someone taking a stab at running ownership static verification before enabling basic sanity checks like those presented here. So. Maybe it qualifies as a "gentle introduction" since it's effectively step 1.