I'm marking out what seem like interesting parts of the diff to highlight them from the refactorings. `&& ptKnown` is added here.