thoughts about a theorem required for bootstrap correctness

(with magnus)